Rob Nederpelt
partilhar
bibliografia
formato
Livro
EBook
ordenação
Data Edição
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€