The Lambda Calculus: Its Syntax and Semantics
North-Holland, 1984 - 621 strani
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.
Mnenja - Napišite recenzijo
Na običajnih mestih nismo našli nobenih recenzij.
Druge izdaje - Prikaži vse
A-algebra A-calculus A-definable A-terms A-theory application assume assumption axioms Bohm trees BT(A called chapter Church-Rosser Clearly closed complete Consider consistent constant Construct continuous contracted contradicting corollary corresponding defined Definition denotes diagram directed element equality equations equivalent example exercise exists extended extensional fact finite fixed point follows functions given head Hence holds induction induction hypothesis infinite introduced labelled lemma length logic Moreover normal notation Note notion of reduction numerals object obtained occurrence operation partial path Proof proposition proved recursive redex relation Remark represent respectively result rule satisfies Scott separable sequence Show shown Similarly solvable standard step strategy structure substitution Suppose theorem theory topology trivial unsolvable variable Write X-model