Correct and Complete Type Checking and Certified Erasure for Coq, in Coq
Domains
Computer Science [cs]
Licence : CC BY - Attribution