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