Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Todd Wilson
conf.researchr.org general profile
POPL 2017 profile
Not registered as user yet
Name:
Todd Wilson
Affiliation:
California State University Fresno
Contributions
2017
POPL
Author of Computational Higher-Dimensional Type Theory within the POPL-track
Share
x
Fri 26 Apr 10:01