The lambda calculus: its syntax and semantics
Hendrik Pieter 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.
Kategori:
Tahun:
1984
Edisi:
Revised
Penerbit:
North-Holland
Bahasa:
english
Halaman:
321
ISBN 10:
0444867481
ISBN 13:
9780444867483
Nama seri:
Studies in Logic and the Foundations of Mathematics 103
File:
PDF, 12.85 MB
IPFS:
,
english, 1984
Amazon 
Barnes & Noble 
Bookshop.org
Ingin menambahkan toko buku? Hubungi kami melalui support@z-lib.do
Konversi file
Lebih banyak hasil pencarian
Manfaat yang lain 
![[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)
Istilah kunci
Daftar buku terkait
