Crossmark

Structured Monads for Generic First-Order Syntax Metatheory

Crossref DOI link: https://doi.org/10.1007/s10817-025-09731-y

Published Online: 2025-08-11

Published Print: 2025-09

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Dunn, Lawrence

Tannen, Val

Zdancewic, Steve
License Information

Text and Data Mining valid from 2025-08-11

Version of Record valid from 2025-08-11
More Information

Article History

Received: 18 May 2024

Accepted: 27 May 2025

First Online: 11 August 2025