Combinatory logic
Bimb�o, Katalin, 1963
Combinatory logic pure, applied and typed / [electronic resource] : Katalin Bimb�� - Boca Raton : Taylor & Francis, 20 - xi, 345 p. : i - Discrete mathematics and its applicati . - Discrete mathematics and its applicatio .
Includes bibliographical references (p. 321-330) and ind
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 log
Mode of access: World Wide W
9781439800010 (ebook : PDF)
Combinatory log
Electronic books.
Combinatory logic pure, applied and typed / [electronic resource] : Katalin Bimb�� - Boca Raton : Taylor & Francis, 20 - xi, 345 p. : i - Discrete mathematics and its applicati . - Discrete mathematics and its applicatio .
Includes bibliographical references (p. 321-330) and ind
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 log
Mode of access: World Wide W
9781439800010 (ebook : PDF)
Combinatory log
Electronic books.