Practical Foundations of Mathematics

Proofs and Types