Here, what we could find on your book search:

Jean-Yves Girard

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

Advances in Linear Logic

Advances in Linear Logic

Jean-Yves Girard, Yves Lafont and Laurent Regnier

Check Price (10 deals)
Logic for Concurrency and Synchronisation

Logic for Concurrency and Synchronisation

R.J. De Queiroz

Check Price (8 deals)
The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Andrea Asperti and Stefano Guerrini

Check Price (3 deals)
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Samson Abramsky

Check Price (8 deals)
Linear Logic in Computer Science

Linear Logic in Computer Science

Thomas Ehrhard

Check Price (9 deals)
Computer Science Logic

Computer Science Logic

Julian Bradfield

Check Price (6 deals)
Logic and the Modalities in the Twentieth Century

Logic and the Modalities in the Twentieth Century

Dov M. Gabbay and John Woods

Check Price (9 deals)
Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Association for Computing Machinery

Check Price (6 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now