Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus

DOI10.1007/978-3-642-14203-1_1zbMath1291.03022OpenAlexW1759101439MaRDI 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

Mathematics Subject Classification ID

Related Items (2)

LINCX: A Linear Logical Framework with First-Class Contexts ⋮ Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus

Uses Software

• HOL
• Twelf
• Freshml
• Bedwyr
• Abella

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

This page was built for publication: Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus