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

Anders Schack-Nielsen, Carsten Schürmann

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	International Joint Conference on Automated Reasoning (IJCAR)
Antal sider	14
Forlag	Springer
Publikationsdato	2010
Sider	1
Kapitel	14
Status	Udgivet - 2010

Navn	Lecture Notes in Computer Science
Nummer	6173

Citationsformater

@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. s. 1 (Lecture Notes in Computer Science; Nr. 6173).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review