conf.researchr.org / Todd Wilson
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 |
Not registered as user yet
Contributions
| POPL 2017 | Author of Computational Higher-Dimensional Type Theory within the POPL-track |