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.
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
📄 Viewing lite version
Full site ›
Book Details
Author(s)H.P. Barendregt
PublisherNorth Holland
ISBN / ASIN0444875085
ISBN-139780444875082
AvailabilityUsually ships in 24 hours
Sales Rank1,287,441
CategoryMathematics
MarketplaceUnited States 🇺🇸
Description ▲
More Books in Mathematics
Topics in Finite and Discrete Mathematics
View
Applications of Mathematics in Engineering and Economi…
View
Linear Algebra Supplement to Accompany Calculus with A…
View
Random Matrix Models and their Applications (Mathemati…
View
Continuous Crossed Products and Type III Von Neumann A…
View
First European Congress of Mathematics Paris, July 6-1…
View
Workshop Statistics: Discovery with Data, JMP Companio…
View
XXVI International Workshop on Geometrical Methods in …
View
Social Policy Reform in Hong Kong and Shanghai: A Tale…
View