The following pages link to (Q4842976):
Displaying 41 items.
- Visible acyclic differential nets. I: Semantics (Q409321) (← links)
- The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194) (← 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)
- Differential interaction nets (Q860836) (← links)
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- Light linear logic (Q1271560) (← links)
- Interaction combinators (Q1368381) (← links)
- Interaction nets and term-rewriting systems (Q1389438) (← links)
- Interaction nets for linear logic (Q1583245) (← links)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
- Soft linear logic and polynomial time (Q1827397) (← links)
- Skew confluence and the lambda calculus with letrec (Q1849854) (← links)
- Parallel beta reduction is not elementary recursive (Q1854460) (← links)
- Encoding linear logic with interaction combinators (Q1854547) (← links)
- Proof nets for classical logic (Q1982017) (← links)
- Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072) (← links)
- The graphical Krivine machine (Q2464713) (← links)
- Universal Boolean Systems (Q2870310) (← links)
- Intensional Properties of Polygraphs (Q2870314) (← links)
- Rewritings for Polarized Multiplicative and Exponential Proof Structures (Q2870318) (← links)
- Token-passing Nets for Functional Languages (Q2873684) (← links)
- Realizability Proof for Normalization of Full Differential Linear Logic (Q3007660) (← links)
- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs (Q3184683) (← links)
- Differential Linear Logic and Polarization (Q3637207) (← links)
- (Q4222826) (← links)
- (Q4611381) (← links)
- Common Knowledge Logic in a Higher Order Proof Assistant (Q4916081) (← links)
- On intuitionistic proof nets with additional rewrite rules and their approximations (Q4916174) (← links)
- (Q4993336) (← links)
- (Q5014804) (← links)
- (Q5028444) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- The geometry of Bayesian programming (Q5076392) (← links)
- (Q5089020) (← links)
- Deep inference and expansion trees for second-order multiplicative linear logic (Q5236548) (← links)
- The conservation theorem for differential nets (Q5360213) (← links)
- Parsing MELL proof nets (Q5940925) (← links)
