Type Theory and Formal Proof

Nederpelt and Geuvers

 ·  math