A deep inference system for differential linear logic
From MaRDI portal
Cites work
- A Local System for Classical Logic
- A proof calculus which reduces syntactic bureaucracy
- A system of interaction and structure
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Computing connected proof(-structure)s from their Taylor expansion
- Confluence of Pure Differential Nets with Promotion
- De Morgan dual nominal quantifiers modelling private names in non-commutative logic
- Differential interaction nets
- Finiteness spaces
- Glueability of resource proof-structures: inverting the Taylor expansion
- scientific article; zbMATH DE number 1296290 (Why is no real title available?)
- scientific article; zbMATH DE number 1980929 (Why is no real title available?)
- scientific article; zbMATH DE number 7003195 (Why is no real title available?)
- scientific article; zbMATH DE number 1841813 (Why is no real title available?)
- Interpreting a finitary pi-calculus in differential interaction nets
- Intuitionistic differential nets and lambda-calculus
- Linear logic
- Locus solum: From the rules of logic to the logic of rules.
- Logic beyond formulas: a proof system on graphs
- Logical Approaches to Computational Barriers
- MELL in the calculus of structures
- Proof-net as graph, Taylor expansion as pullback
- Realizability Proof for Normalization of Full Differential Linear Logic
- Subatomic proof systems: splittable systems
- The conservation theorem for differential nets
- The Cut-Elimination Theorem for Differential Nets with Promotion
- The differential lambda-calculus
- The Separation Theorem for Differential Interaction Nets
- The true concurrency of differential interaction nets
- Uniformity and the Taylor expansion of ordinary lambda-terms
This page was built for publication: A deep inference system for differential linear logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6657782)
