A fibrational tale of operational logical relations

DOI10.4230/LIPICS.FSCD.2022.3MaRDI QIDQ6544096zbMATH OpenFDO

Authors Francesco Dagnino, Francesco Gavazzo

Publication date 27 May 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2022.3

zbMATH Keywords

fibrationsgeneric effectslogical relationsoperational semanticsprogram distance

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(3)

• A fibrational tale of operational logical relations: pure, effectful and differential
• Classifying topoi in synthetic guarded domain theory
• Bialgebraic reasoning on higher-order program equivalence

This page was built for publication: A fibrational tale of operational logical relations

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