On the public citation graph
What is a categorical model of Intuitionistic Linear Logic?
0 signed · 148 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-1-4612-9839-7openalex-snapshot
Categories for the Working Mathematician
inferredcites →https://doi.org/10.1007/bfb0022251openalex-snapshot
A mixed linear and non-linear logic: Proofs, terms and models
inferredcites →https://doi.org/10.1007/bfb0037099openalex-snapshot
A term calculus for Intuitionistic Linear Logic
inferredcites →https://doi.org/10.1016/0304-3975(88)90001-1openalex-snapshot
Fiftieth volume of theoretical computer science
inferredcites →https://doi.org/10.1016/0304-3975(88)90074-6openalex-snapshot
The linear abstract machine
inferredcites →https://doi.org/10.1016/0304-3975(88)90100-4openalex-snapshot
The linear abstract machine
inferredcites →https://doi.org/10.1016/0304-3975(93)90011-hopenalex-snapshot
Constructive logics Part I: A tutorial on proof systems and typed λ-calculi
inferredcites →https://doi.org/10.1016/0304-3975(93)90181-ropenalex-snapshot
Computational interpretations of linear logic
inferredcites →https://doi.org/10.1017/s0960129500001274openalex-snapshot
*-Autonomous categories and linear logic
inferredcites →https://doi.org/10.1090/conm/092/1003210openalex-snapshot
Linear logic, *-autonomous categories and cofree coalgebras
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/0-306-48088-3_2openalex-snapshot
Chu’s Construction: A Proof-Theoretic Approach
inferred← citeshttps://doi.org/10.1007/11805618_13openalex-snapshot
A Terminating and Confluent Linear Lambda Calculus
inferred← citeshttps://doi.org/10.1007/11874683_1openalex-snapshot
Functorial Boxes in String Diagrams
inferred← citeshttps://doi.org/10.1007/3-540-44612-5_10openalex-snapshot
Axiomatizing Fully Complete Models for ML Polymorphic Types
inferred← citeshttps://doi.org/10.1007/3-540-45788-7_10openalex-snapshot
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
inferred← citeshttps://doi.org/10.1007/3-540-45793-3_31openalex-snapshot
Classical Linear Logic of Implications
inferred← citeshttps://doi.org/10.1007/3-540-46432-8_15openalex-snapshot
Categorical Models for Intuitionistic and Linear Type Theory
inferred← citeshttps://doi.org/10.1007/3-540-48959-2_15openalex-snapshot
Logical Predicates for Intuitionistic Linear Type Theories
inferred← citeshttps://doi.org/10.1007/3-540-48959-2_5openalex-snapshot
Quantitative Semantics Revisited
inferred← citeshttps://doi.org/10.1007/3-540-49253-4_14openalex-snapshot
Building Models of Linear Logic
inferred← citeshttps://doi.org/10.1007/3-540-58201-0_81openalex-snapshot
Bistructures, bidomains and linear logic
inferred← citeshttps://doi.org/10.1007/3-540-60164-3_23openalex-snapshot
The convex powerdomain in a category of posets realized by cpos
inferred← citeshttps://doi.org/10.1007/3-540-63172-0_36openalex-snapshot
An extension of models of Axiomatic Domain Theory to models of Synthetic Domain Theory
inferred← citeshttps://doi.org/10.1007/978-1-4757-3851-3_10openalex-snapshot
Linearity, Sharing and State: A Fully Abstract Game Semantics for Idealized Algol with Active Expressions
inferred← citeshttps://doi.org/10.1007/978-1-4757-3851-3_8openalex-snapshot
Syntactic Control of Interference Revisited
inferred← citeshttps://doi.org/10.1007/978-3-031-43513-3_20openalex-snapshot
Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-24754-8_17openalex-snapshot
Semantics of Linear Continuation-Passing in Call-by-Name
inferred← citeshttps://doi.org/10.1007/978-3-540-27836-8_24openalex-snapshot
Projecting Games on Hypercoherences
inferred← citeshttps://doi.org/10.1007/978-3-540-72734-7_33openalex-snapshot
Multiplexor Categories and Models of Soft Linear Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-73228-0_13openalex-snapshot
Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-76637-7_27openalex-snapshot
Call-by-Name and Call-by-Value in Normal Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-02273-9_27openalex-snapshot
Differential Linear Logic and Polarization
inferred← citeshttps://doi.org/10.1007/978-3-642-15205-4_16openalex-snapshot
Exponentials with Infinite Multiplicities
inferred← citeshttps://doi.org/10.1007/978-3-642-19805-2_22openalex-snapshot
A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy
inferred← citeshttps://doi.org/10.1007/978-3-642-38164-5_13openalex-snapshot
Presheaf Models of Quantum Computation: An Outline
inferred← citeshttps://doi.org/10.1007/978-3-662-46678-0_3openalex-snapshot
An Infinitary Model of Linear Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-49498-1_9openalex-snapshot
Call-By-Push-Value from a Linear Logic Point of View
inferred← citeshttps://doi.org/10.1007/978-94-007-7548-0_9openalex-snapshot
Categorical Semantics of Linear Logic for All
inferred← citeshttps://doi.org/10.1007/978-94-017-8813-7_11openalex-snapshot
Towards Computational Non-associative Lambek Lambda-Calculi for Formal Pragmatics
inferred← citeshttps://doi.org/10.1007/s10485-004-3134-zopenalex-snapshot
Relating Categorical Semantics for Intuitionistic Linear Logic
inferred← citeshttps://doi.org/10.1007/s10485-019-09572-yopenalex-snapshot
Differential Categories Revisited
inferred← citeshttps://doi.org/10.1007/s11225-024-10158-6openalex-snapshot
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
inferred← citeshttps://doi.org/10.1016/0304-3975(96)80134-4openalex-snapshot
Call-by-name, call-by-value, call-by-need and the linear lambda calculus
inferred← citeshttps://doi.org/10.1016/0304-3975(96)80138-1openalex-snapshot
Syntactic control of interference revisited
inferred← citeshttps://doi.org/10.1016/j.apal.2004.08.003openalex-snapshot
Linear realizability and full completeness for typed lambda-calculi
inferred← citeshttps://doi.org/10.1016/j.apal.2016.10.010openalex-snapshot
Semantics of higher-order quantum computation via geometry of interaction
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.088openalex-snapshot
Game Semantics for Access Control
inferred← citeshttps://doi.org/10.1016/j.entcs.2018.11.004openalex-snapshot
Cartesian Integral Categories and Contextual Integral Categories
inferred← citeshttps://doi.org/10.1016/j.entcs.2018.11.015openalex-snapshot
Modality via Iterated Enrichment
inferred← citeshttps://doi.org/10.1016/j.ic.2003.10.003openalex-snapshot
Comparing hierarchies of types in models of linear logic
inferred← citeshttps://doi.org/10.1016/j.ic.2014.10.006openalex-snapshot
An abstract approach to stratification in linear logic
inferred← citeshttps://doi.org/10.1016/j.tcs.2003.11.013openalex-snapshot
Two-level languages for program optimization
inferred← citeshttps://doi.org/10.1016/j.tcs.2003.11.014openalex-snapshot
Poset-valued sets or how to build models for linear logics
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.05.015openalex-snapshot
Sequential algorithms and strongly stable functions
inferred← citeshttps://doi.org/10.1016/j.tcs.2010.12.023openalex-snapshot
Musings around the geometry of interaction, and coherence
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.11.027openalex-snapshot
The Scott model of linear logic is the extensional collapse of its relational model
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.07.020openalex-snapshot
Multigames and strategies, coalgebraically
inferred← citeshttps://doi.org/10.1016/s0022-4049(96)00162-4openalex-snapshot
Categories for computation in context and unified logic
inferred← citeshttps://doi.org/10.1016/s0022-4049(98)00110-8openalex-snapshot
Linearly distributive functors
inferred← citeshttps://doi.org/10.1016/s0168-0072(01)00075-6openalex-snapshot
Proof theory in the abstract
inferred← citeshttps://doi.org/10.1016/s0168-0072(96)00021-8openalex-snapshot
Equational theories for inductive types
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00349-2openalex-snapshot
Two applications of analytic functors
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00241-9openalex-snapshot
Glueing and orthogonality for models of linear logic
inferred← citeshttps://doi.org/10.1016/s0304-3975(03)00392-xopenalex-snapshot
The differential lambda-calculus
inferred← citeshttps://doi.org/10.1016/s0304-3975(98)00358-2openalex-snapshot
Call-by-name, call-by-value, call-by-need and the linear lambda calculus
inferred← citeshttps://doi.org/10.1016/s0304-3975(98)00359-4openalex-snapshot
Syntactic control of interference revisited
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00048-1openalex-snapshot
A classical linear λ-calculus
inferred← citeshttps://doi.org/10.1016/s1570-7954(00)80027-3openalex-snapshot
Some aspects of categories in computer science
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00021-0openalex-snapshot
Generalizing Coherence Spaces and Hypercoherences
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00022-2openalex-snapshot
Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00026-xopenalex-snapshot
Syntactic Control of Interference Revisited
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80559-0openalex-snapshot
Non-Uniform Hypercoherences
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80566-8openalex-snapshot
A Categorical Semantics of Higher Order Store
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)01183-7openalex-snapshot
Logic Programming with Bunched Implications
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80312-3openalex-snapshot
Abstract Games for Linear Logic Extended Abstract
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80321-4openalex-snapshot
Denotational Completeness Revisited
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80398-6openalex-snapshot
Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80399-8openalex-snapshot
Towards a Classical Linear λ-calculus (Preliminary Report)
inferred← citeshttps://doi.org/10.1017/cbo9780511550850.002openalex-snapshot
Category Theory for Linear Logicians
inferred← citeshttps://doi.org/10.1017/s0956796898002998openalex-snapshot
Computational types from a logical perspective
inferred← citeshttps://doi.org/10.1017/s0956796899003615openalex-snapshot
Girard translation and logical predicates
inferred← citeshttps://doi.org/10.1017/s0956796899003639openalex-snapshot
Program equivalence in a linear functional language
inferred← citeshttps://doi.org/10.1017/s0960129500003200openalex-snapshot
Linear types and approximation
inferred← citeshttps://doi.org/10.1017/s0960129501003498openalex-snapshot
Double categories: a modular model of multiplicative linear logic
inferred← citeshttps://doi.org/10.1017/s0960129502003729openalex-snapshot
On Köthe sequence spaces and linear logic
inferred← citeshttps://doi.org/10.1017/s0960129502003730openalex-snapshot
Geometry of Interaction and linear combinatory algebras
inferred← citeshttps://doi.org/10.1017/s0960129504004621openalex-snapshot
Classical linear logic of implications
inferred← citeshttps://doi.org/10.1017/s0960129508007172openalex-snapshot
Logical relations for monadic types
inferred← citeshttps://doi.org/10.1017/s0960129508007184openalex-snapshot
On traced monoidal closed categories
inferred← citeshttps://doi.org/10.1017/s0960129510000320openalex-snapshot
Non-uniform (hyper/multi)coherence spaces
inferred← citeshttps://doi.org/10.1017/s0960129516000347openalex-snapshot
A linear/producer/consumer model of classical linear logic
inferred← citeshttps://doi.org/10.1017/s0960129516000372openalex-snapshot
An introduction to differential linear logic: proof-nets, models and antiderivatives
inferred← citeshttps://doi.org/10.1017/s0960129516000384openalex-snapshot
Transport of finiteness structures and applications
inferred← citeshttps://doi.org/10.1017/s0960129516000396openalex-snapshot
Execution time of λ-terms via denotational semantics and intersection types
inferred← citeshttps://doi.org/10.1017/s0960129518000014openalex-snapshot
Integral categories and calculus categories
inferred← citeshttps://doi.org/10.1017/s0960129520000158openalex-snapshot
Convenient antiderivatives for differential linear categories
inferred← citeshttps://doi.org/10.1017/s0960129520000249openalex-snapshot
Jets and differential linear logic
inferred← citeshttps://doi.org/10.1017/s0960129525000040openalex-snapshot
Coherent Taylor expansion as a bimonad
inferred← citeshttps://doi.org/10.1023/a:1005291931660openalex-snapshot
On an Intuitionistic Modal Logic
inferred← citeshttps://doi.org/10.1093/logcom/exs023openalex-snapshot
What is a model for a semantically linear -calculus?
inferred← citeshttps://doi.org/10.1093/logcom/exu002openalex-snapshot
A substructural logic for layered graphs
inferred← citeshttps://doi.org/10.1109/lics.2003.1210040openalex-snapshot
About translations of classical logic into polarized linear logic
inferred← citeshttps://doi.org/10.1109/lics.2007.14openalex-snapshot
Categorical Combinatorics for Innocent Strategies
inferred← citeshttps://doi.org/10.1109/lics.2011.26openalex-snapshot
Semantics of Higher-Order Quantum Computation via Geometry of Interaction
inferred← citeshttps://doi.org/10.1112/jlms/jdm096openalex-snapshot
The cartesian closed bicategory of generalised species of structures
inferred← citeshttps://doi.org/10.1145/2837614.2837652openalex-snapshot
A theory of effects and resources: adjunction models and polarised calculi
inferred← citeshttps://doi.org/10.1145/3164540openalex-snapshot
Full Abstraction for Probabilistic PCF
inferred← citeshttps://doi.org/10.1145/3636501.3636956openalex-snapshot
Displayed Monoidal Categories for the Semantics of Linear Logic
inferred← citeshttps://doi.org/10.20381/ruor-19805openalex-snapshot
Semantics for a higher-order functional programming language for quantum computation
inferred← citeshttps://doi.org/10.20381/ruor-20066openalex-snapshot
Categorical models of computation: Partially traced categories and presheaf models of quantum computation
inferred← citeshttps://doi.org/10.2178/jsl/1082418530openalex-snapshot
A completeness theorem for symmetric product phase spaces
inferred← citeshttps://doi.org/10.23638/lmcs-15(4:8)2019openalex-snapshot
Lifting Coalgebra Modalities and $\mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories
inferred← citeshttps://doi.org/10.3233/fi-2014-1107openalex-snapshot
Categories of Coalgebraic Games with Selective Sum
inferred← citeshttps://doi.org/10.4204/eptcs.238.6openalex-snapshot
Linear Exponential Comonads without Symmetry
inferred← citeshttps://doi.org/10.4204/eptcs.292.3openalex-snapshot
From Linear Logic to Cyclic Sharing
inferred← citeshttps://doi.org/10.4230/lipics.csl.2018.15openalex-snapshot
An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets
inferred← citeshttps://doi.org/10.4230/lipics.csl.2020.17openalex-snapshot
Tangent Categories from the Coalgebras of Differential Categories
inferred← citeshttps://doi.org/10.46298/entics.12290openalex-snapshot
Graded Differential Categories and Graded Differential Linear Logic
inferred← citeshttps://doi.org/10.46298/entics.14786openalex-snapshot
Polynomials in homotopy type theory as a Kleisli category
inferred← citeshttps://doi.org/10.48550/arxiv.0912.0419openalex-snapshot
An affine-intuitionistic system of types and effects: confluence and termination
inferred← citeshttps://doi.org/10.48550/arxiv.1401.5325openalex-snapshot
Game Semantics for Access Control
inferred← citeshttps://doi.org/10.48550/arxiv.1411.4380openalex-snapshot
An infinitary model of linear logic
inferred← citeshttps://doi.org/10.48550/arxiv.1912.07462openalex-snapshot
On the Unity of Logic: a Sequential, Unpolarized Approach
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0501039openalex-snapshot
Introduction to linear logic and ludics, part II
inferred← citeshttps://doi.org/10.48550/arxiv.quant-ph/0312174openalex-snapshot
Quantum Computation, Categorical Semantics and Linear Logic
inferred← citeshttps://doi.org/10.5445/ir/43596openalex-snapshot
Separating weakening and contraction in a linear lambda calculus
inferred← citeshttps://doi.org/10.6083/9g54xh95nopenalex-snapshot
A categorical analysis of multi-level languages (extended abstract)
inferred← citeshttps://doi.org/10.70675/10c54aedz7692z4312zb3d9z1ec9f7ad0f85openalex-snapshot
Modèles de Graphe Relationnels et Observabilité à la Morris : recherches sémantiques sensibles aux ressources sur le λ-calcul non typé
inferred← citeshttps://doi.org/10.70930/tac/et1997rtopenalex-snapshot
Dialectica and Chu Constructions: Cousins?
inferred← citeshttps://doi.org/10.70930/tac/hpeihx3qopenalex-snapshot
Coherence of the Double Involution on *-Autonomous Categories
inferred← citeshttps://doi.org/10.70930/tac/qcuayiuiopenalex-snapshot
Cartesian differential storage categories
inferred← citeshttps://doi.org/10.70930/tac/yvfimlqmopenalex-snapshot
Polarized category theory, modules, and game semantics
inferred← citeshttps://doi.org/10.7146/brics.v4i15.18805openalex-snapshot
Bistructures, Bidomains and Linear Logic
inferred← citeshttps://doi.org/10.7551/mitpress/5641.003.0006openalex-snapshot
Bistructures, Bidomains, and Linear Logic
inferred← citeshttps://doi.org/10.7551/mitpress/5641.003.0007openalex-snapshot
Axioms for Definability and Full Completeness
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.