Tealeaves: structured monads for generic first-order abstract syntax infrastructure

DOI10.4230/LIPICS.ITP.2023.14MaRDI QIDQ6642993zbMATH OpenFDO

Authors Lawrence Dunn, Val Tannen, Steve Zdancewic

Publication date 26 November 2024

Full work available at URL https://doi.org/10.4230/LIPICS.ITP.2023.14

zbMATH Keywords

category theoryCoqformal metatheorylocally namelessraw syntax

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited in

(2)

• Structured monads for generic first-order syntax metatheory
• Syntax monads for the working formal metatheorist

This page was built for publication: Tealeaves: structured monads for generic first-order abstract syntax infrastructure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6642993)