Here, what we could find on your book search:

Adriana Compagnoni

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

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Jean-Yves Girard

Check Price (9 deals)
Computer Science Logic

Computer Science Logic

Leszek Pacholski and Jerzy Tiuryn

Check Price (2 deals)
Trustworthy Global Computing

Trustworthy Global Computing

Rocco De Nicola

Check Price (5 deals)
Logic, Language, Information, and Computation

Logic, Language, Information, and Computation

Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant and Anjolina G. de Oliveira

Check Price (1 deals)
Types for Proofs and Programs

Types for Proofs and Programs

Thierry Coquand, Peter Dybjer, Bengt Nordström and Jan Smith

Check Price (10 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now