Classical lambda calculus in modern dress

摘要

Recent developments in the categorical foundations of universal algebra have given anrnimpetus to an understanding of the lambda calculus coming from categorical logic: anrninterpretation is a semi-closed algebraic theory. Scott’s representation theorem is thenrncompletely natural and leads to a precise Fundamental Theorem showing the essentialrnequivalence between the categorical and more familiar notions.