Todd Wilson - POPL 2017 (original) (raw)

POPL 2017 (series) / Todd Wilson

• conf.research.org general profile

Not registered as user

Name:Todd Wilson

Affiliation:California State University Fresno

Contributions

2017

POPL

• Computational Higher-Dimensional Type Theory

Show activities from other conferences

Share

POPL 2017-profile
View general profile