A crash course in λ-calculus

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

• Artificial Intelligence

Author information

Authors and Affiliations

1. INRIA, Paris, France

   G. Huet

Authors

1. G. Huet
   View author publications

   You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Huet, G. A crash course in λ-calculus. J. of Comput. Sci. & Technol. 13, 546 (1998). https://doi.org/10.1007/BF02946495

Download citation

• Received: 15 June 1998

• Issue Date: November 1998

• DOI: https://doi.org/10.1007/BF02946495

Keywords

• Separability Property
• Abstract Syntax
• Functional Programming
• Natural Deduction
• Fundamental Structure