6 ms·
Type Theory and Formal Proof (https://www.cambridge.org/core/books/type-theory-and-formal-proof/0472640AAD34E045C7F140B46A57A67C# https://www.cambridge.org/core
by baanist 2y ago
Type Theory and Formal Proof (https://www.cambridge.org/core/books/type-theory-and-formal-proof/0472640AAD34E045C7F140B46A57A67C# https://www.cambridge.org/core/books/type-theory-and-formal-...)