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:
Electronic Access:
Click here to view.Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 541654-1001 | QA9.5 .B56 2012 | Searching... | Searching... |