Libro
en
Proofs and types
Fuente: Open Library ·
By Jean-Yves Girard (1989). 6 recommendations on Hacker News.
Por qué es interesante
Hacker News rank #3797, 14 mentions, 6 recommenders.
Más como esto
-
Way of Effortless Mindfulness
Libro · Open Library
-
HBR's 10 must reads on managing yourself
Libro · Open Library
-
Emergent Computation
Libro · Open Library
-
Oil
Libro · Open Library
-
Myth and religion
Libro · Open Library
-
The Age of AI
Libro · Open Library