Switch to: Citations

References in:

Degrees of sensible lambda theories

Henk Barendregt, Jan Bergstra, Jan Willem Klop & Henri Volken

Journal of Symbolic Logic 43 (1):45-55 (1978)

Add references

You must login to add references.

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.details Logic and Philosophy of Logic Direct download Export citation Bookmark 594 citations
The Lambda Calculus. Its Syntax and Semantics.E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.details Logic and Philosophy of Logic Direct download Export citation Bookmark 72 citations
Typed lambda calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 1091--1132.details Areas of Mathematics in Philosophy of Mathematics Export citation Bookmark 5 citations

1