Proofs and types
- ISBN
- 9780521371810
Proofs and types è un computer programming, symbolic and mathematical logic book di Jean-Yves Girard.
Scopri Proofs and types di Jean-Yves Girard, computer programming.
Sull'Autore
è l'autore di Proofs and types. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Jean-Yves Girard →Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è Proofs and types?+
Proofs and types è un libro di Computer programming, Symbolic and mathematical Logic, Type theory, Proof theory, Calculus.
Chi ha scritto Proofs and types?+
Proofs and types è stato scritto da Jean-Yves Girard.