The Constructive μ-calculus: Game Semantics and Non-Wellfounded Proof Systems

From MaRDI portal

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems

Jump to:navigation, search

MaRDI QIDQ7245679arXivFDO

Authors

Publication date 2026

Published in arXiv

arXiv classification

This page was built for publication: The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=The_Constructive_$μ$-calculus:_Game_Semantics_and_Non-Wellfounded_Proof_Systems&oldid=107744651"