Combinatory logic : pure, applied and typed
by
Bimbo, Katalin, 1963, author.
Title
:
Combinatory logic : pure, applied and typed
Author
:
Bimbo, Katalin, 1963, author.
ISBN
:
9780429075285
Physical Description
:
1 online resource (xi, 345 pages)
Series
:
Discrete mathematics and its applications
Discrete mathematics and its applications.
Contents
:
1. Elements of combinatory logic -- 2. Main theorems -- 3. Recursive functions and arithmetic -- 4. Connections to -calculi -- 5. (In)equational combinatory logic -- 6. Models -- 7. Dual and symmetric combinatory logics -- 8. Applied combinatory logic -- 9. Typed combinatory logic.
Subject Term
:
Combinatory logic.
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 541654-1001 | QA9.5 .B56 2012 | | CRC E-Books |