Linear logic
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3525107 (Why is no real title available?)
- scientific article; zbMATH DE number 3556029 (Why is no real title available?)
- scientific article; zbMATH DE number 3349775 (Why is no real title available?)
- Normal functors, power series and -calculus
- The system \({\mathcal F}\) of variable types, fifteen years later
Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 7561616 (Why is no real title available?)
- Subexponentials in non-commutative linear logic
- An abstract approach to stratification in linear logic
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
- Operational equivalence for interaction nets.
- Bayesian strategies: probabilistic programs as generalised graphical models
- Focused proof-search in the logic of bunched implications
- On the semantics of parsing actions
- When programs have to watch paint dry
- Genericity and the \(\pi\)-calculus
- Figures of dialogue: a view from ludics
- A relational semantics for parallelism and non-determinism in a functional setting
- Light linear logics with controlled weakening: expressibility, confluent strong normalization
- Visible acyclic differential nets. I: Semantics
- When are Two Algorithms the Same?
- On the decision problem for MELL
- Strong negation in intuitionistic style sequent systems for residuated lattices
- Petri nets and bisimulation
- The Scott model of linear logic is the extensional collapse of its relational model
- Stabilized profunctors and stable species of structures
- Classical structures based on unitaries
- Parsing/theorem-proving for logical grammar \textit{CatLog3}
- Functional Interpretations of Intuitionistic Linear Logic
- Logical semantics for stability
- A strong bisimulation for a classical term calculus
- I got plenty o' nuttin'
- Turning cycles into spirals
- Logic and grammar
- The three dimensions of proofs
- Separation and encodability in mixed choice multiparty sessions
- Braids, twists, trace and duality in combinatory algebras
- An analysis of symmetry in quantitative semantics
- The relational machine calculus
- Interactive observability in Ludics: the geometry of tests
- Defining concurrent processes constructively
- Informational logic for automated reasoning
- Deep inference and expansion trees for second-order multiplicative linear logic
- Correcting type errors in the Curry system
- Graph types for monadic mobile processes
- Cut elimination for the unified logic
- A semantic account of strong normalization in linear logic
- A type assignment for -calculus complete both for FPTIME and strong normalization
- Computation by interaction for space-bounded functional programming
- Encodings of Turing machines in linear logic
- The conservation theorem for differential nets
- The finite model property for BCI and related systems
- Proof nets, garbage, and computations
- An interpretation of CCS into ludics
- On the expressiveness of interaction
- A game semantics for linear logic
- Conflict vs causality in event structures
- Ternary relations and relevant semantics
- Free ordered algebraic structures towards proof theory
- scientific article; zbMATH DE number 7526055 (Why is no real title available?)
- scientific article; zbMATH DE number 7533344 (Why is no real title available?)
- scientific article; zbMATH DE number 7559284 (Why is no real title available?)
- The dynamic geometry of interaction machine: a token-guided graph rewriter
- A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
- Complementary proof nets for classical logic
- System NEL is undecidable
- scientific article; zbMATH DE number 7682559 (Why is no real title available?)
- Conflict vs causality in event structures
- Parsing MELL proof nets
- Proofs as computations in linear logic
- Resource modalities in tensor logic
- Taking linear logic apart
- (Dual) hoops have unique halving
- scientific article; zbMATH DE number 1231514 (Why is no real title available?)
- scientific article; zbMATH DE number 1231532 (Why is no real title available?)
- On subexponentials, focusing and modalities in concurrent systems
- Quantitative domains and infinitary algebras
- Disjunctive systems and L-Domains
- A framework for substructural type systems
- 1998 European Summer Meeting of the Association for Symbolic Logic
- Jump from parallel to sequential proofs: exponentials
- Handsome proof-nets: Perfect matchings and cographs
- Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts
- Weakly distributive categories
- Logic and geometry of agents in agent-based modeling
- Coherence in linear predicate logic
- Computing with semirings and weak rig groupoids
- Confluence of Pure Differential Nets with Promotion
- Local possibilistic logic
- The first axiomatization of relevant logic
- On intuitionistic query answering in description bases
- An approach to innocent strategies as graphs
- The relational model is injective for multiplicative exponential linear logic (without weakenings)
- Natural deduction for intuitionistic linear logic
- The finite model property for various fragments of linear logic
- Defining formal explanation in classical logic by substructural derivability
- Projective and injective objects in the category of quantales
- Frobenius quantales, Serre quantales and the Riemann-Roch theorem
- Resourceful program synthesis from graded linear types
- Prime algebraicity
- On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy
- Type inference for light affine logic via constraints on words
- Categorical relationships between Goguen sets and ``two-sided categorical models of linear logic
- Which Logic for the Radical Anti-realist?
- The linear abstract machine
- A non commutative generalization of *-autonomous lattices
This page was built for publication: Linear logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q579249)
