Title:
Combinatory logic pure, applied and typed
Author:
Bimb,̤ Katalin, 1963-
ISBN:
9781439800010
Publication Information:
Boca Raton : Taylor & Francis, 2012.
Physical Description:
xi, 345 p. : ill.
Series:
Discrete mathematics and its applications
Series Title:
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:
Holds:
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 285121-1001 | ONLINE | Searching... | Searching... |