scientific article; zbMATH DE number 4099289
From MaRDI portal
Publication:3824307
Recommendations
Cited in
(51)- Conditional rewriting logic as a unified model of concurrency
- A game semantics for linear logic
- Decision problems for propositional linear logic
- Bounded linear logic: A modular approach to polynomial-time computability
- The structure of multiplicatives
- New foundations for the geometry of interaction
- On the \(\pi\)-calculus and linear logic
- On proof normalization in linear logic
- Chu spaces as a semantic bridge between linear logic and mathematics.
- Full abstraction for PCF
- Petri nets, Horn programs, linear logic and vector games
- Simple free star-autonomous categories and full coherence
- Variations on mobile processes
- A proof theory for model checking
- Development of the concept of natural geometry for physical interactions
- Lambek calculus is NP-complete
- scientific article; zbMATH DE number 1722659 (Why is no real title available?)
- Memoryful geometry of interaction. II: Recursion and adequacy
- The power of closed reduction strategies
- The blind spot. Lectures on logic
- Interaction graphs: graphings
- scientific article; zbMATH DE number 4168913 (Why is no real title available?)
- Traced Premonoidal Categories
- scientific article; zbMATH DE number 6917940 (Why is no real title available?)
- Non-normal modalities in variants of linear logic
- A correspondence between maximal abelian sub-algebras and linear logic fragments
- scientific article; zbMATH DE number 811538 (Why is no real title available?)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
- scientific article; zbMATH DE number 7450001 (Why is no real title available?)
- Coherent interaction graphs
- Geometry of interaction. V: Logic in the hyperfinite factor
- Musings around the geometry of interaction, and coherence
- scientific article; zbMATH DE number 5038458 (Why is no real title available?)
- Linear realizability and full completeness for typed lambda-calculi
- Conditional rewriting logic: Deduction, models and concurrency
- On the symmetry of sequentiality
- Interactions on manifolds and the construction of material structure
- Representation of partial traces
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
- Particle-style geometry of interaction as a module system
- scientific article; zbMATH DE number 7724203 (Why is no real title available?)
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
- Exponentially handsome proof nets and their normalization
- Implicit automata in typed -calculi I: aperiodicity in a non-commutative logic
- Computational interpretations of linear logic
- Deduction at the crossroads
- A new conjecture about identity of proofs
- A categorical model for the geometry of interaction
- Interaction graphs: additives
- A type assignment system for game semantics
- Gödel's system T revisited
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3824307)
