Appunti ed esercizi del corso "Teoria dei tipi" - università degli studi di Padova, corso di laurea in Informatica
math
coq
proof-assistant
type-theory
exercises
unipd
esercizi
matematica
logica
martin-lof
teoria-dei-tipi
-
Updated
Mar 19, 2018 - TeX