Heriot-Watt University-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2017

  1. Proof mining with dependent types

    Lecture Notes in Computer Science, Vol. 10383 LNAI, pp. 303-318