Lambda calculus with types (Perspectives in Logic)

DOI10.1112/BLMS/BDU053zbMath1298.00020OpenAlexW2313034173MaRDI QIDQ2922875

J. Roger Hindley

Publication date: 15 October 2014

Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/blms/bdu053

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40) External book reviews (00A17) Abstract and axiomatic computability and recursion theory (03D75)

Uses Software

• Automath

Cites Work

• Unnamed Item

This page was built for publication: Lambda calculus with types (Perspectives in Logic)