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

Anders Schack-Nielsen, Carsten Schürmann

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	International Joint Conference on Automated Reasoning (IJCAR)
Number of pages	14
Publisher	Springer
Publication date	2010
Pages	1
Chapter	14
Publication status	Published - 2010

Series	Lecture Notes in Computer Science
Number	6173

Cite this

@inproceedings{3ec37956209f41e498adf4412e0cabe8,

title = "Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus",

author = "Anders Schack-Nielsen and Carsten Sch{\"u}rmann",

year = "2010",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "6173",

pages = "1",

booktitle = "International Joint Conference on Automated Reasoning (IJCAR)",

address = "Germany",

}

Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus. / Schack-Nielsen, Anders; Schürmann, Carsten.
International Joint Conference on Automated Reasoning (IJCAR). Springer, 2010. p. 1 (Lecture Notes in Computer Science; No. 6173).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review