Publication Title: 
WHAT IS A MODEL OF THE LAMBDA CALCULUS? EXPANDED VERSION 
Publication Author: 
Meyer, Albert, R. 
Additional Authors: 

LCS Document Number: 
MITLCSTM201 
Publication Date: 
711981 
LCS Group: 
No Group Specified 
Additional URL: 
No URL Given 
Abstract: 
An elementary, purely algebraic definition of model for the untyped lambda calculus is given. This definition is shown to be equivalent to the natural semantic definition based on environments. These definitions of model are consistent with, and yield a completeness theorem for the standard axioms for lambda convertibility. A simple construction of models for lambda calculus is reviewed. The algebraic formulation clarifies the relation between combinators and lambda terms. 
To obtain this publication: 

To purchase a printed copy of this publication please contact
MIT
Document Services.
