Proofs and types
- ISBN
- 9780521371810
Proofs and types est un computer programming, symbolic and mathematical logic book de Jean-Yves Girard.
Découvrez Proofs and types de Jean-Yves Girard, computer programming.
À propos de l'auteur
est l'auteur de Proofs and types. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de Jean-Yves Girard →Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Proofs and types ?+
Proofs and types est un livre de Computer programming, Symbolic and mathematical Logic, Type theory, Proof theory, Calculus.
Qui a écrit Proofs and types ?+
Proofs and types a été écrit par Jean-Yves Girard.