Combinatory logic pure, applied and typed
by
 
Bimb,̤ Katalin, 1963-

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
: 
Combinatory logic.

Electronic Access
: 
Distributed by publisher. Purchase or institutional license may be required for access.


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book285121-1001ONLINEElektronik Kütüphane