Classical lambda calculus in modern dress
Category Theory
2015-07-22 v2 Logic
Abstract
Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's representation theorem is then completely natural and leads to precise theorems showing the essential equivalence with more familiar notions. Simple abstract proofs of fundamental results in the semantics of the lambda calculus are given.
Cite
@article{arxiv.1211.5762,
title = {Classical lambda calculus in modern dress},
author = {Martin Hyland},
journal= {arXiv preprint arXiv:1211.5762},
year = {2015}
}
Comments
21 pages, submitted for 90th Birthday of Corrado Bohm Second version accepted by MSCS. Material filled out at the request of referees. Now 28 pages but nothing essentially new