Search Results for Combinatory logic.

6 Results Found

000000DEFAULT

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:

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:

Combinatory logic : pure, applied and typed

Author

Bimbo, Katalin, 1963, author.

Preferred Shelf Number

QA9.5 .B56 2012

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

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:

Algorithmic Foundations of Robotics XV Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics

Author

LaValle, Steven M. editor. O'Kane, Jason M. editor. Otte, Michael. editor. Sadigh, Dorsa. editor. Tokekar, Pratap. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-21090-7

Format:

Availability

Online Library~1

Available:
Copies:

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:

	{displayName}	{count}
{error}