conf.researchr.org / Lawrence Dunn
![Lawrence Dunn](https://conf.researchr.org/getProfileImage/lawrencedunn/19ed911f-b5fd-46de-9293-4df50cfa243f/small.jpg?1712804117000)
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