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 Tealeaves: Categorical structures for syntax
Show activities from other conferences

POPL 2022-profile
View general profile