3 ms·
The book[0] mentioned is excellent if you are interested in this kind of thing. It is available on Kindle too. [0] https://www.cambridge.org/core/books/type-th
by tluyben2 8y ago
The book[0] mentioned is excellent if you are interested in this kind of thing. It is available on Kindle too.
[0] https://www.cambridge.org/core/books/type-theory-and-formal-proof/0472640AAD34E045C7F140B46A57A67C https://www.cambridge.org/core/books/type-theory-and-formal-...