Linear Lambda Calculus and Deep Inference
From MaRDI portal
Publication:3007666
DOI10.1007/978-3-642-21691-6_16zbMath1331.68045OpenAlexW112954245MaRDI QIDQ3007666
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
Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)
Cites Work
- Unnamed Item
- Unnamed Item
- On reduction-based process semantics
- A system of interaction and structure IV
- A system of interaction and structure V: the exponentials and splitting
- A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types
- Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
- Functions as processes
- FUNCTIONAL PEARL Linear lambda calculus and PTIME-completeness
- System NEL is Undecidable
- Explicit substitutions
- A system of interaction and structure
- A Logical Basis for Quantum Evolution and Entanglement
- An Algorithmic Interpretation of a Deep Inference System
This page was built for publication: Linear Lambda Calculus and Deep Inference
