You are here

Combinatory Logic: Pure, Applied and Typed

Publisher: 
Chapman & Hall/CRC
Number of Pages: 
345
Price: 
99.95
ISBN: 
9781439800003
Date Received: 
Thursday, August 4, 2011
Reviewable: 
No
Include In BLL Rating: 
No
Reviewer Email Address: 
Katalin Bimbó
Series: 
Discrete Mathematics and Its Applications
Publication Date: 
2011
Format: 
Hardcover
Category: 
Monograph

Elementary Combinatory Logic. Main Theorems. Systems of Arithmetic. Connection to λ-Calculi. (In)Equational Combinatory Logic. Models. Dual and Symmetric Combinatory Logic. Combinators in Applications. Typed Combinatory Logic. Appendix.

Publish Book: 
Modify Date: 
Thursday, August 4, 2011

Dummy View - NOT TO BE DELETED