Not registered as user yet

Name: Hans Fehrmann

Affiliation: University of Chile

Contributions

ICFP 2019Author of A Reasonably Exceptional Type Theory within the Research Papers-track