Categorical combinators
- 30 June 1986
- journal article
- Published by Elsevier in Information and Control
- Vol. 69 (1-3), 188-254
- https://doi.org/10.1016/s0019-9958(86)80047-x
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Sequential algorithms on concrete data structuresTheoretical Computer Science, 1982
- Models of the lambda calculusInformation and Control, 1982
- What is a model of the lambda calculus?Information and Control, 1982
- From types to setsAdvances in Mathematics, 1980
- Lambda‐Calculus Models and ExtensionalityMathematical Logic Quarterly, 1980
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Lambda calculus with namefree formulas involving symbols that represent reference transforming mappingsIndagationes Mathematicae, 1978
- Pairing Without Conventional RestraintsMathematical Logic Quarterly, 1974
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964