Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus
- Anders Schack-Nielsen,
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewPublication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 1 (14 pages)Publication milestones
- Published - 2010
Publication status
Published - 2010
Publisher
Springer, United States, GermanyBook series
- Book series name: Lecture Notes in Computer Science
Series number: 6173
Chapter Number
14Publication IDs
- Scopus: 77955251078
Host publication title
International Joint Conference on Automated Reasoning (IJCAR)Publication metrics
PlumX
Citations
1
Captures
8