Fixpoint constructions in focused orthogonality models of linear logic

DOI10.46298/ENTICS.12302MaRDI QIDQ6831471zbMATH OpenFDO

Authors Marcelo P. Fiore, Zeinab Galal, Farzad Jafar-Rahmani

Publication date 2 April 2026

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.12302

zbMATH Keywords

orthogonalitylinear logiccategorical modelsfixpoint constructionsinductive, coinductive, and recursive types

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• scientific article; zbMATH DE number 5851813 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 19484 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 1241700 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 1392305 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• Artin glueing
• Axiomatic Domain Theory in Categories of Partial Maps
• Categorical models of linear logic with fixed points of formulas
• Collapsing non-idempotent intersection types
• Finiteness spaces
• Fixed-point constructions in order-enriched categories
• Glueing and orthogonality for models of linear logic
• Intensional interpretations of functionals of finite type I
• Least and greatest fixed points in linear logic
• Linear logic
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
• Logical relations and the typed λ-calculus
• Phase semantics for linear logic with least and greatest fixed points
• Probabilistic coherence spaces are fully abstract for probabilistic PCF
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Quantitative domains and infinitary algebras
• Second-Order Equational Logic (Extended Abstract)
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 3: Exp. IX--XIX
• Structural induction and coinduction in a fibrational setting
• The Category-Theoretic Solution of Recursive Domain Equations
• The Scott model of linear logic is the extensional collapse of its relational model
• The system \({\mathcal F}\) of variable types, fifteen years later
• Traced monoidal categories
• Transport of finiteness structures and applications
• Weighted relational models of typed lambda-calculi

Cited in

(1)

• Lifting star-autonomy

This page was built for publication: Fixpoint constructions in focused orthogonality models of linear logic

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