Pattern Unification for the Lambda Calculus with Linear and Affine Types

Anders Schack-Nielsen, Carsten Schürmann

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

Originalsprog	Engelsk
Titel	Proceedings of the 5th Workshop on Logical Frameworks and Meta Languages, Theory and Practice
Antal sider	15
Publikationsdato	2010
Sider	101
Kapitel	116
Status	Udgivet - 2010

Navn	EPTCS
Nummer	34

Citationsformater

@inproceedings{551cdb3c63c94822b9776ca094880e81,

title = "Pattern Unification for the Lambda Calculus with Linear and Affine Types",

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

year = "2010",

language = "English",

series = "EPTCS",

publisher = "Open Publishing Association",

number = "34",

pages = "101",

booktitle = "Proceedings of the 5th Workshop on Logical Frameworks and Meta Languages, Theory and Practice",

}

Pattern Unification for the Lambda Calculus with Linear and Affine Types. / Schack-Nielsen, Anders; Schürmann, Carsten.
Proceedings of the 5th Workshop on Logical Frameworks and Meta Languages, Theory and Practice. 2010. s. 101 (EPTCS; Nr. 34).

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