Pattern Unification for the Lambda Calculus with Linear and Affine Types

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	Proceedings of the 5th Workshop on Logical Frameworks and Meta Languages, Theory and Practice
Number of pages	15
Publication date	2010
Pages	101
Chapter	116
Publication status	Published - 2010

Series	EPTCS
Number	34

Cite this

@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. p. 101 (EPTCS; No. 34).

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