Towards constructive hybrid semantics

DOI10.4230/LIPICS.FSCD.2020.24MaRDI QIDQ6854411zbMATH OpenFDO

Authors Tim Lukas Diezel, S. S. Goncharov

Publication date 24 February 2026

Copyright license Creative Commons Attribution 3.0 Unported

zbMATH Keywords

Agdahomotopy type theoryelgot iterationhybrid semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

This page was built for publication: Towards constructive hybrid semantics

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