Proofs and types
- ISBN
- 9780521371810
Proofs and types es un computer programming, symbolic and mathematical logic book de Jean-Yves Girard.
Descubre Proofs and types de Jean-Yves Girard, computer programming.
Sobre el Autor
es el autor de Proofs and types. Explora su catálogo completo en Booklogr.
Explora más libros de Jean-Yves Girard →Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es Proofs and types?+
Proofs and types es un libro de Computer programming, Symbolic and mathematical Logic, Type theory, Proof theory, Calculus.
¿Quién escribió Proofs and types?+
Proofs and types fue escrito por Jean-Yves Girard.