conf.researchr.org / Lawrence Dunn
Registered user since Tue 7 Dec 2021
Name:Lawrence Dunn
Country:United States
Affiliation:University of Pennsylvania
Personal website: https://comono.id
GitHub: https://github.com/dunnl
Research interests:Category theory, type theory
Contributions