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

CoqPL 2022 Speaker of Tealeaves: Categorical structures for syntax within the CoqPL-track