The following pages link to The structure of multiplicatives (Q1264140):
Displaying 50 items.
- Modeling linear logic with implicit functions (Q392296) (← links)
- Visible acyclic differential nets. I: Semantics (Q409321) (← links)
- A semantic measure of the execution time in linear logic (Q534698) (← links)
- Correctness of linear logic proof structures is NL-complete (Q534703) (← links)
- A linear algorithm for MLL proof net correctness and sequentialization (Q534705) (← links)
- Intuitionistic differential nets and lambda-calculus (Q534707) (← links)
- Light logics and optimal reduction: completeness and complexity (Q627123) (← links)
- Proof and refutation in MALL as a game (Q636305) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- Coherent phase spaces. Semiclassical semantics (Q705538) (← links)
- Differential interaction nets (Q860836) (← links)
- Weak typed Böhm theorem on IMLL (Q866556) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- Easy multiplications. I: The realm of Kleene's theorem (Q1101553) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- A decision procedure revisited: Notes on direct logic, linear logic and its implementation (Q1186430) (← links)
- Decision problems for propositional linear logic (Q1192352) (← links)
- Bounded linear logic: A modular approach to polynomial-time computability (Q1193854) (← links)
- On the \(\pi\)-calculus and linear logic (Q1342247) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Chu spaces as a semantic bridge between linear logic and mathematics. (Q1398475) (← links)
- Handsome proof-nets: Perfect matchings and cographs (Q1398476) (← links)
- Additives of linear logic and normalization. I: A (restricted) Church-Rosser property. (Q1398477) (← links)
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic (Q1398479) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
- Normalization of N-graphs via sub-N-graphs (Q1744401) (← links)
- Modularity of proof-nets. Generating the type of a module. (Q1766921) (← links)
- Soft linear logic and polynomial time (Q1827397) (← links)
- \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic (Q1840462) (← links)
- The additive multiboxes (Q1861326) (← links)
- Softness of MALL proof-structures and a correctness criterion with Mix (Q1882627) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Simple free star-autonomous categories and full coherence (Q1936110) (← links)
- An algebraic correctness criterion for intuitionistic multiplicative proof-nets (Q1960420) (← links)
- Proof nets for classical logic (Q1982017) (← links)
- Polynomial time in untyped elementary linear logic (Q1989326) (← links)
- A formal model for a linear time correctness condition of proof nets of multiplicative linear logic (Q2119124) (← links)
- Proofs and surfaces (Q2195640) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- Non decomposable connectives of linear logic (Q2326414) (← links)
- Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072) (← links)
- An abstract approach to stratification in linear logic (Q2343125) (← links)
- Parsing pregroup grammars and Lambek calculus using partial composition (Q2467213) (← links)
- Coherence for star-autonomous categories (Q2498908) (← links)
- Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
- Proof-search and proof nets in mixed linear logic (Q2703720) (← links)
- Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing (Q2835043) (← links)
- Event domains, stable functions and proof-nets (Q2864146) (← links)
