Here, what we could find on your book search:

Mario Coppo

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Computer Science Logic

Computer Science Logic

Laurent Fribourg

Check Price (6 deals)
Proceedings of the 1990 ACM Conference on LISP and Functional Programming

Proceedings of the 1990 ACM Conference on LISP and Functional Programming

Association for Computing Machinery

Check Price (8 deals)
The Parametric Lambda Calculus

The Parametric Lambda Calculus

Simona Ronchi Della Rocca and Luca Paolini

Check Price (2 deals)
Computer Science Logic

Computer Science Logic

European Association for Computer Science Logic. Conference

Check Price (2 deals)
Type Systems for Distributed Programs: Components and Sessions

Type Systems for Distributed Programs: Components and Sessions

Ornela Dardha

Check Price (8 deals)
Behavioural Types

Behavioural Types

Simon Gay and António Ravara

Check Price (10 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now