Jonathan
Heras Vicente
PROFESOR TITULAR DE UNIVERSIDAD
Heriot-Watt University
Edimburgo, Reino UnidoHeriot-Watt University-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2017
-
Proof mining with dependent types
Lecture Notes in Computer Science, Vol. 10383 LNAI, pp. 303-318