Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Combinatory logic
Combinatory logic
Author 
Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533876
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Combinatory logic. Volume II
Combinatory logic. Volume II
Author 
Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422085
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Combinatory logic pure, applied and typed
Combinatory logic pure, applied and typed
Author 
Bimb,̤ Katalin, 1963-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.
Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.
Author 
Aoun, Ali Salem
Preferred Shelf Number 
TEZ 3422 DR. 1996
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Algebra of proofs
Algebra of proofs
Author 
Szabo, M. E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422863
Format: 
Availability 
Online Library~1
Available:
Copies: