Todd Wilson - (original) (raw)

conf.researchr.org / Todd Wilson

• POPL 2017 profile

Not registered as user

Name:Todd Wilson

Affiliation:California State University Fresno

Contributions

2017

POPL

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

Share