Verwandte Artikel zu The lambda calculus. Its syntax and semantics. (Studies...

The lambda calculus. Its syntax and semantics. (Studies in logic and the foundations of mathematics, vol.103) - Softcover

Hendrik Pieter Barendregt

 
9780444875082: The lambda calculus. Its syntax and semantics. (Studies in logic and the foundations of mathematics, vol.103)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.