Surface proofs for linear logic. - Lawrence Dunn; Jamie Vicary (CoRR, 2016)

Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract). - Lawrence Dunn; Jamie Vicary (LINEARITY, 2016)

Coherence for Frobenius pseudomonoids and the geometry of linear proofs. - Lawrence Dunn; Jamie Vicary (Log. Methods Comput. Sci., 2019)

Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure. - Lawrence Dunn; Val Tannen; Steve Zdancewic (ITP, 2023)

Syntax Monads for the Working Formal Metatheorist. - Lawrence Dunn; Val Tannen; Steve Zdancewic (ACT, 2023)