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