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

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

zbMATH Keywords

linear logicprofunctorsScott semantics

Mathematics Subject Classification ID

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

Cites work

• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Analytic functors between presheaf categories over groupoids
• Categorical semantics of linear logic
• Collapsing non-idempotent intersection types
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 1303724 (Why is no real title available?)
• scientific article; zbMATH DE number 2134913 (Why is no real title available?)
• Linear domains and linear maps
• Linear logic
• Linear types and approximation
• Profunctors, open maps and bisimulation
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Strategies as profunctors
• The cartesian closed bicategory of generalised species of structures
• The differential lambda-calculus
• The Scott model of linear logic is the extensional collapse of its relational model

Cited in

(5)

• Two-dimensional Kripke semantics. II: Stability and completeness
• Categorifying non-idempotent intersection types
• Effectful semantics in 2-dimensional categories: premonoidal and Freyd bicategories
• Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
• Groupoidal realizability for intensional type theory

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)