Rob Nederpelt
Share
Bibliography
format
Book
eBook
Order
Edition Date
Ranking
-
Type Theory And Formal ProofeBookCAMBRIDGE UNIVERSITY PRESS11-20140,00€
-
Type Theory And Formal ProofeBookCAMBRIDGE UNIVERSITY PRESS11-20140,00€
-
Modern Perspective On Type TheoryeBookSPRINGER NETHERLANDS03-20060,00€