Книга
en
Intuitionistic type theory
Источник: Open Library ·
By Per Martin-Löf (1984). 1 recommendations on Hacker News.
Чем интересно
Hacker News rank #11835, 6 mentions, 1 recommenders.
Похожее
-
Way of Effortless Mindfulness
Книга · Open Library
-
HBR's 10 must reads on managing yourself
Книга · Open Library
-
Emergent Computation
Книга · Open Library
-
Oil
Книга · Open Library
-
Myth and religion
Книга · Open Library
-
The Age of AI
Книга · Open Library