Rob Nederpelt

도서
Type Theory and Formal Proof Type Theory and Formal Proof
Type Theory and Formal Proof
2014년
A Modern Perspective on Type Theory A Modern Perspective on Type Theory
A Modern Perspective on Type Theory
2006년