Type Theory and Formal Proof Type Theory and Formal Proof
٢٠١٤
A Modern Perspective on Type Theory A Modern Perspective on Type Theory
٢٠٠٦