The lambda calculus: its syntax and semantics

Main
Science (General)
The lambda calculus: its syntax and...

The lambda calculus: its syntax and semantics

Name: The lambda calculus: its syntax and semantics
ISBN: 9780444867483

Hendrik Pieter Barendregt

0 / 0

2 comments

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

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.

Thể loại:

Science (General)

Năm:

1984

In lần thứ:

Revised

Nhà xuát bản:

North-Holland

Ngôn ngữ:

english

Trang:

321