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

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