Search Results for Combinatory logic.

Combinatory logic

2024-11-03T05:26:32Z

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: Electronic Resources
Availability Online Library~1

Combinatory logic. Volume II

2024-11-03T05:26:32Z

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: Electronic Resources
Availability Online Library~1

Combinatory logic pure, applied and typed

2024-11-03T05:26:32Z

Author Bimb,̤ Katalin, 1963-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.

2024-11-03T05:26:32Z

Author Aoun, Ali Salem
Preferred Shelf Number TEZ 3422 DR. 1996
Format: Books
Availability Beytepe Library~1

Algebra of proofs

2024-11-03T05:26:32Z

Author Szabo, M. E.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422863
Format: Electronic Resources
Availability Online Library~1