A profunctorial Scott semantics

DOI10.4230/LIPICS.FSCD.2020.16MaRDI QIDQ6854419zbMATH OpenFDO

Authors Zeinab Galal

Publication date 24 February 2026

Copyright license Creative Commons Attribution 3.0 Unported

zbMATH Keywords

linear logicprofunctorsScott semantics

Mathematics Subject Classification ID

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

This page was built for publication: A profunctorial Scott semantics

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