You are here

Combinatory Logic: Pure, Applied and Typed

Katalin Bimbó
Publisher: 
Chapman & Hall/CRC
Publication Date: 
2011
Number of Pages: 
345
Format: 
Hardcover
Series: 
Discrete Mathematics and Its Applications
Price: 
99.95
ISBN: 
9781439800003
Category: 
Monograph
We do not plan to review this book.

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.