Switch to: References

Citations of:

J. R. Hindley, B. Lercher, and J. P. Seldin. Introduction to combinatory logic. London Mathematical Society lecture note series, no. 7, Cambridge at the University Press, London and New York1972, 170 pp [Book Review]

Henk Barendregt

Journal of Symbolic Logic 38 (3):518 (1973)

Add citations

You must login to add citations.

(1 other version)Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation.Andrei A. Kuzichev - 1991 - Mathematical Logic Quarterly 37 (33-35):547-559.details Download Export citation Bookmark
(1 other version)Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.details Download Export citation Bookmark 9 citations
(1 other version)Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Mathematical Logic Quarterly 20 (19‐22):289-306.details Download Export citation Bookmark 4 citations
(2 other versions)Combinatory Reductions and Lambda Reductions Compared.Roger Hindley - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):169-180.details Download Export citation Bookmark 1 citation

1