Two models for combinatory logic

Luis E. Sanchis · Syracuse University Libraries (Syracuse University) · 1975

Explore this paper's citation graph

Type: article
Published: 1975-01-01
Cited by: 1
References: 5
Access: Open access
OpenAlex: https://openalex.org/W80185855
Semantic Scholar: https://api.semanticscholar.org/CorpusID:116858461

Keywords

Computer science

References

Category methods in recursion theoryJohn Myhill — 1961
Computability and UnsolvabilityLouis O. Kattsoff, Martin Davis — 1959
Theory of Recursive Functions and Effective Computability.Solomon Feferman, Hartley Rogers — 1969
Theory of Recursive Functions and Effective ComputabilityR. L. Goodstein — 1969
Theory of Recursive Functions and Effective ComputabilityJr. Hartley Rogers — 1987

Cited by

Lambda-Calculus Models and ExtensionalityRoger Hindley, G. Longo — 1980

Related papers

Elements of combinatory logicBruce Lercher — 1974
Introduction to combinatory logicJ. Roger Hindley, Bruce Lercher, Jonathan P. Seldin — 1972
The system CΔ of combinatory logicFrederic B. Fitch — 1963
Set Theory based on Combinatory Logic.Jonathan P. Seldin — 1970