Nombre de documents

1

CV de Philipp Haselwarter


Mémoire d'étudiant1 document

  • Philipp Haselwarter. Towards a Proof-Irrelevant Calculus of Inductive Constructions. Programming Languages [cs.PL]. 2014. <hal-01114573v2>