Combinatory logic
pure, applied and typed
Bimb�o, Katalin
1963
creator
text
bibliography
Electronic books.
flu
Boca Raton
Taylor & Francis
20
2012
monographic
eng
application/PDF
xi, 345 p. : i
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
Katalin Bimb��
Includes bibliographical references (p. 321-330) and ind
Also available in print editi
Mode of access: World Wide W
Combinatory log
Discrete mathematics and its applicatio
9781439800010 (ebook : PDF)
http://marc.crcnetbase.com/isbn/9781439800010
http://marc.crcnetbase.com/isbn/9781439800010
FlBoTFG
110928
20171224123648.0
CAH0KE10022PDF