conf.researchr.org / Alejandro Gadea

Not registered as user yet

Name:Alejandro Gadea
Affiliation:FAMAF, UNC and CONICET
Research interests:Haskell, Coq, Agda, type theory, domain theory

Contributions