WITHDRAWN: Towards a Higher-Order Mathematical Operational Semantics

MaRDI QIDQ7147019arXivFDO

Authors S. S. Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat

Publication date 2026

Published in arXiv

arXiv classification

cs.LO

This page was built for publication: WITHDRAWN: Towards a Higher-Order Mathematical Operational Semantics

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