A deep inference system for differential linear logic

DOI10.4204/eptcs.353.2MaRDI QIDQ6657782

Giulio Guerrieri, Matteo Acclavio

Publication date: 6 January 2025

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitionistic differential nets and lambda-calculus
• Linear logic
• Differential interaction nets
• Uniformity and the Taylor expansion of ordinary lambda-terms
• Interpreting a finitary pi-calculus in differential interaction nets
• The differential lambda-calculus
• MELL in the calculus of structures
• Proof-net as graph, Taylor expansion as pullback
• Locus solum: From the rules of logic to the logic of rules.
• A Local System for Classical Logic
• Realizability Proof for Normalization of Full Differential Linear Logic
• The Separation Theorem for Differential Interaction Nets
• The Cut-Elimination Theorem for Differential Nets with Promotion
• Confluence of Pure Differential Nets with Promotion
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• The true concurrency of differential interaction nets
• Subatomic Proof Systems
• De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic
• Logic Beyond Formulas
• A system of interaction and structure
• The conservation theorem for differential nets
• A Proof Calculus Which Reduces Syntactic Bureaucracy
• Finiteness spaces
• Glueability of resource proof-structures: inverting the Taylor expansion
• Logical Approaches to Computational Barriers

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)