Lawrence Dunn

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 5

Top Topics

Quantifier Elimination

Sequent Calculus

Top Venues

Log. Methods Comput. Sci.

Publications

Lawrence Dunn, Val Tannen, Steve Zdancewic
Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure. ITP (2023)
Lawrence Dunn, Val Tannen, Steve Zdancewic
Syntax Monads for the Working Formal Metatheorist. CoRR (2023)
Lawrence Dunn, Jamie Vicary
Coherence for Frobenius pseudomonoids and the geometry of linear proofs. Log. Methods Comput. Sci. 15 (3) (2019)
Lawrence Dunn, Jamie Vicary
Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract). LINEARITY (2016)
Lawrence Dunn, Jamie Vicary
Surface proofs for linear logic. CoRR (2016)