The lambda calculus : its syntax and semantics
H P Barendregt
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.
კატეგორია:
წელი:
1984
გამოცემა:
Rev. ed
გამომცემლობა:
North Holland
ენა:
english
გვერდები:
617
ISBN 10:
0444875085
ISBN 13:
9780444875082
სერია:
Studies in Logic and the Foundations of Mathematics 103
ფაილი:
PDF, 19.51 MB
IPFS:
,
english, 1984
ამ წიგნის ჩამოტვირთვა მიუწვდომელია საავტორო უფლებების მფლობელის საჩივრის გამო
Beware of he who would deny you access to information, for in his heart he dreams himself your master
ფაილების კონვერტაცია
ძიების მეტი შედეგი
სხვა უპირატესობები 
![[edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin. — Combinatory logic. / Volume II](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/946b4d50d35c101f0d86190684434445a5686858b4cc5a56635c5313beb436a3.jpg)
![Paul Taylor — Practical Foundations of Mathematics [+ Errata and Reviews]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/d9ec8dd6858ce78a1a9151d24bee2b1328dbfcadad150dcdf56a587ab0587b3d.jpg)
საკვანძო ფრაზები
დაკავშირებული კოლექციები
