Lawrence Dunn

According to our database, Lawrence Dunn authored at least 5 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Syntax Monads for the Working Formal Metatheorist.

Lawrence Dunn, Val Tannen, Steve Zdancewic

CoRR, 2023

Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure.

Lawrence Dunn, Val Tannen, Steve Zdancewic

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2019

Coherence for Frobenius pseudomonoids and the geometry of linear proofs.

Lawrence Dunn, Jamie Vicary

Log. Methods Comput. Sci., 2019

2016

Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract).

Lawrence Dunn, Jamie Vicary

Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016

Surface proofs for linear logic.

Lawrence Dunn, Jamie Vicary

CoRR, 2016