Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus
From MaRDI portal
Publication:5747746
DOI10.1007/978-3-642-14203-1_1zbMath1291.03022MaRDI QIDQ5747746
Anders Schack-Nielsen, Carsten Schuermann
Publication date: 14 September 2010
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14203-1_1
03B40: Combinatory logic and lambda calculus
Related Items
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus, LINCX: A Linear Logical Framework with First-Class Contexts
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A notation for lambda terms. A generalization of environments
- The Abella Interactive Theorem Prover (System Description)
- Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)
- The Theory of Calculi with Explicit Substitutions Revisited
- Linear explicit substitutions
- Explicit substitutions
- FreshML
- Practical Programming with Higher-Order Encodings and Dependent Types
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus