Not registered as user yet

Name:Todd Wilson
Affiliation:California State University Fresno

Contributions

POPL 2017 Author of Computational Higher-Dimensional Type Theory within the POPL-track