Correct and Complete Type Checking and Certified Erasure for Coq, in Coq
Domaines
Informatique [cs]
Licence : CC BY - Paternité