Structured monads for generic first-order syntax metatheory

DOI10.1007/S10817-025-09731-YMaRDI QIDQ6912396zbMATH OpenFDO

Authors Lawrence Dunn, Val Tannen, Steve Zdancewic

Publication date 22 October 2025

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

monadssyntaxCoqvariable bindingmetatheory

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Categorical semantics of formal languages (18C50) Functional programming and lambda calculus (68N18) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Structured monads for generic first-order syntax metatheory

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