Research Catalog
The combinatory programme
- Title
- The combinatory programme / Erwin Engeler [and others].
- Publication
- Boston : Birkhäuser, 1995.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA9.5 .C66 1995 | Off-site |
Holdings
Details
- Additional Authors
- Engeler, Erwin.
- Description
- 142 pages : illustrations; 25 cm.
- Series Statement
- Progress in theoretical computer science
- Uniform Title
- Progress in theoretical computer science.
- Subject
- Combinatory logic
- Bibliography (note)
- Includes bibliographical references (p. [137]-140) and index.
- Contents
- I. Historical and Philosophical Background / Erwin Engeler. 1. From Protologics to Combinatory Algebra. 2. A Brief Recapitulation of Combinatory Algebra. 3. An Algebraization of Universal Algebra. 4. Objects Reflected in Their Properties -- II. An Algebraization of Universal Algebra. Axiomatic Extensions / Trudy Weibel. Aspects of Universal Algebra in Combinatory Logic / Beatrice Amrhein. Remarks on an Algebraic Theory of Recursive Degrees / Oliver Gloor -- III. An Algebraization of Algorithmics. An Algebraization of Hierarchical and Recursive Distributed Processes / Erwin Engeler and Gerhard Schwarzler. Algebra of Approximate Computation / Karl Aberer -- IV. Relations to Logical Computer-Algebraic Calculi. Solving Discontinuous Differential Equations / Martin von Mohrenschildt. Types and Consistency / Daniel Otth.
- ISBN
- 0817638016 (acid-free paper)
- 3764338016 (acid-free paper)
- LCCN
- 94036651
- OCLC
- ocm31166605
- Owning Institutions
- Columbia University Libraries