Here, what we could find on your book search:

Michel Parigot

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).

Logical Environments

Logical Environments

Gerard Huet and Gordon Plotkin

Check Price (4 deals)
Advances in Computing Science - ASIAN'98

Advances in Computing Science - ASIAN'98

Jieh Hsiang and Atsushi Ohori

Check Price (1 deals)
Types for Proofs and Programs

Types for Proofs and Programs

Hendrik Pieter Barendregt and Tobias Nipkow

Check Price (9 deals)
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Samson Abramsky

Check Price (3 deals)
Computer Science Logic

Computer Science Logic

Michael Kaminski and Simone Martini

Check Price (10 deals)
Theoretical Aspects of Computer Software

Theoretical Aspects of Computer Software

Masami Hagiya and John C. Mitchell

Check Price (1 deals)
Types for Proofs and Programs

Types for Proofs and Programs

Jean-Christophe Filliatre

Check Price (7 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now