Can I read The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition on EtoBox?

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition by Hendrik Pieter Barendregt; Hendrik P Barendregt is a nonfiction available to read on EtoBox.

What is The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition about?

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.

Who reads The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition?

Author

Hendrik Pieter Barendregt; Hendrik P Barendregt

Publisher

North Holland

Published

1984

Language

EN

ISBN

9780444875082

Category

nonfiction

Subjects

Mathematics, Computer Science, Fiction

Rating

4.22 / 5 (18 ratings)

Updated

2026-03-14