Linear lambda calculus and deep inference

DOI10.1007/978-3-642-21691-6_16MaRDI QIDQ3007666zbMATH OpenOpenAlexFDO

Authors Luca Roversi

Publication date 17 June 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-21691-6_16

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18)

Recommendations

• A deep inference system with a self-dual binder which is complete for linear lambda calculus
• A System of Interaction and Structure II: The Need for Deep Inference
• An Algorithmic Interpretation of a Deep Inference System
• Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus
• Proof nets and the linear substitution calculus

Cites work

• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 2090535 (Why is no real title available?)
• A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types
• A logical basis for quantum evolution and entanglement
• A system of interaction and structure
• A system of interaction and structure. IV: The exponentials and decomposition
• A system of interaction and structure. V: The exponentials and splitting
• An Algorithmic Interpretation of a Deep Inference System
• Explicit substitutions
• FUNCTIONAL PEARL Linear lambda calculus and PTIME-completeness
• Functions as processes
• On reduction-based process semantics
• Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
• System NEL is undecidable

Cited in

(4)

• A deep inference system with a self-dual binder which is complete for linear lambda calculus
• Deep inference and probabilistic coherence spaces
• A System of Interaction and Structure II: The Need for Deep Inference
• Intuitionistic BV

This page was built for publication: Linear lambda calculus and deep inference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3007666)