Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (8 chapters)
-
Front Matter
-
Historical and Philosophical Background
-
An Algebraization of Universal Algebra
-
Front Matter
-
-
An Algebraization of Formal Properties of Objects
-
Front Matter
-
-
Relations to Logical and Computer-Algebraic Calculi
-
Front Matter
-
-
Back Matter
About this book
Authors and Affiliations
-
Department of Mathematics, ETH-Zentrum, Zürich, Switzerland
Erwin Engeler
Bibliographic Information
Book Title: The Combinatory Programme
Authors: Erwin Engeler
Series Title: Progress in Theoretical Computer Science
DOI: https://doi.org/10.1007/978-1-4612-4268-0
Publisher: Birkhäuser Boston, MA
-
eBook Packages: Springer Book Archive
Copyright Information: Birkhäuser Boston 1995
Hardcover ISBN: 978-0-8176-3801-6Published: 01 November 1994
Softcover ISBN: 978-1-4612-8716-2Published: 23 November 2011
eBook ISBN: 978-1-4612-4268-0Published: 06 December 2012
Edition Number: 1
Number of Pages: VIII, 144
Topics: Math Applications in Computer Science, Combinatorics, Programming Techniques, Programming Languages, Compilers, Interpreters, Computational Mathematics and Numerical Analysis