Book
en
Type Theory and Formal Proof
Source: Open Library ·
By Rob Nederpelt; Herman Geuvers (2014). 11 recommendations on Hacker News.
Why it's interesting
Hacker News rank #2302, 15 mentions, 11 recommenders.
Frequently Asked Questions
What is Type Theory and Formal Proof?
Type Theory and Formal Proof is a book discovery curated from Open Library. By Rob Nederpelt; Herman Geuvers (2014). 11 recommendations on Hacker News.
How can I access or experience this?
You can read or browse this book for free online through open libraries and archives by clicking "Open Original".
Where does this content come from?
Curated from Open Library by the OnSuggest team to surface the most interesting and serendipitous content on the web.
More like this
All Book discoveries →
Open Library
View Details →
Book
HBR's 10 must reads on managing yourself
By Peter F. Drucker; Clayton M. Christensen; Daniel Goleman (2010). 2 mentions on Hacker News.
Open Library
View Details →
Open Library
View Details →
Open Library
View Details →
Open Library
View Details →
Book
The Age of AI
By Jason Thacker; Jakob Lewis; Richard J. Mouw (2020). 2 mentions on Hacker News.
Open Library
View Details →