Lawrence Dunn

Registered user since Tue 7 Dec 2021

Name:Lawrence Dunn
Country:United States
Affiliation:University of Pennsylvania
Personal website: https://comono.id
Research interests:Category theory, type theory

Contributions