Rob Nederpelt

الكتب
Type Theory and Formal Proof Type Theory and Formal Proof
Type Theory and Formal Proof
٢٠١٤
A Modern Perspective on Type Theory A Modern Perspective on Type Theory
A Modern Perspective on Type Theory
٢٠٠٦