Cesar Munoz

Proof-term synthesis on dependent-type systems via explicit substitutions
Treinta y Seis D�as