"MATHEMATICS Logic." . . "Semantik." . . "MATHEMATICS Infinity." . . "lambda calcul." . . "Lambda-calcul." . "Lambda calculus." . . "Lambda-calculus." . "Lambdarekening." . . "Lambda-Kalkül." . . "Lambdakalkuel." . . "Calcolo combinatorio." . . "calcul Lambda." . . "Càlcul lambda." . "Barendregt, H.P." . . "Lógica simbólica matemática." . . "réduction." . . "conversion." . . "modèle." . . "Calcolo lambda." . . "Calcolo Lambda." . . . . . . "Electronic books"@en . "The Lambda calculus : Its syntax and semantics" . . . . . . . . . . "The lambda calculus its syntax and semantics"@en . . "The lambda calculus its syntax and semantics" . . . . . . . . . . . . . . . . "Electronic resource"@en . . . "Handboeken (vorm)" . . . "The Lambda Calculus : Its Syntax and Semantics" . . . "The lambda calculus" . . . . . . . . . . . . . . . . . . . . . . . . . . . "Lambda-isčislenie : ego sintaksis i semantika" . . . "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."@en . . . . . . . . . . . . "The lambda calculus : its syntax and semantics"@en . "The lambda calculus : its syntax and semantics" . . . . . . . . . . . . "Lambda - isčislenie : ego sintaksis i semantika" . . "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. (A cura dell'editore)." . "The Lambda Calculus Its Syntax and Semantics"@en . . . . . . . "The Lambda calculus : its syntax and semantics" . . . . . . . . . . "The Lambda calculus - its syntax and semantics"@en . . . "Lambda-Ischislenie : ego sintaksis i semantika" . "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."@en . . . . "Lambda calculus" . . . "Logika." . . "Lambda račun sintaksa semantika teorija konverzacija redukcija modeli." . . "Cálculo Lambda." . . "Cálculo lambda." . "Calculo lambda." . "Logik." . . "Logica matematica." . . "Logica Matematica." . "Lògica matemàtica" . "Lògica matemàtica." . "Lógica simbólica y matemática." . . "Rachunek lambda." . . "matematika." . . "Mathematics." . . "Logica simbolica e matematica Processamento de dados." . . "Algebrai logika." . . . .