H. P. Barendregt. The lambda calculus. Its syntax and semantics. Studies in logic and foundations of mathematics, vol. 103. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xiv + 615 pp.

E. Engeler

doi:10.2307/2274112

Abstract

An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'

Crossref Citations

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

van Bakel, Steffen 2017. Characterisation of Approximation and (Head) Normalisation for λμ using Strict Intersection Types. Electronic Proceedings in Theoretical Computer Science, Vol. 242, Issue. , p. 20.

Copes, Martín Szasz, Nora and Tasistro, Álvaro 2018. Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution. Electronic Proceedings in Theoretical Computer Science, Vol. 274, Issue. , p. 27.

Copello, Ernesto Szasz, Nora and Tasistro, Álvaro 2018. Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders. Electronic Proceedings in Theoretical Computer Science, Vol. 274, Issue. , p. 11.

Chen, Xiaohong and Roşu, Grigore 2020. A general approach to define binders using matching logic. Proceedings of the ACM on Programming Languages, Vol. 4, Issue. ICFP, p. 1.

Pettorossi, Alberto 2020. A Historical Account of My Early Research Interests. Electronic Proceedings in Theoretical Computer Science, Vol. 320, Issue. , p. 1.

Vepštas, Linas 2023. Artificial General Intelligence. Vol. 13539, Issue. , p. 134.

Torrens, Paulo Orchard, Dominic and Vasconcellos, Cristiano 2024. On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs. Proceedings of the ACM on Programming Languages, Vol. 8, Issue. ICFP, p. 147.

Article contents

H. P. Barendregt. The lambda calculus. Its syntax and semantics. Studies in logic and foundations of mathematics, vol. 103. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xiv + 615 pp.

Abstract

Access options

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Article contents

H. P. Barendregt. The lambda calculus. Its syntax and semantics. Studies in logic and foundations of mathematics, vol. 103. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xiv + 615 pp.

Abstract

Access options

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests