ITU

Pattern Unification for the Lambda Calculus with Linear and Affine Types

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

Standard

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

Harvard

Schack-Nielsen, A & Schürmann, C 2010, Pattern Unification for the Lambda Calculus with Linear and Affine Types. in Proceedings of the 5th Workshop on Logical Frameworks and Meta Languages, Theory and Practice. EPTCS, no. 34, pp. 101.

APA

Schack-Nielsen, A., & Schürmann, C. (2010). Pattern Unification for the Lambda Calculus with Linear and Affine Types. In Proceedings of the 5th Workshop on Logical Frameworks and Meta Languages, Theory and Practice (pp. 101). EPTCS No. 34

Vancouver

Schack-Nielsen A, Schürmann C. Pattern Unification for the Lambda Calculus with Linear and Affine Types. In Proceedings of the 5th Workshop on Logical Frameworks and Meta Languages, Theory and Practice. 2010. p. 101. (EPTCS; No. 34).

Author

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

Bibtex

@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",

}

RIS

TY - GEN

T1 - Pattern Unification for the Lambda Calculus with Linear and Affine Types

AU - Schack-Nielsen, Anders

AU - Schürmann, Carsten

PY - 2010

Y1 - 2010

M3 - Article in proceedings

T3 - EPTCS

SP - 101

BT - Proceedings of the 5th Workshop on Logical Frameworks and Meta Languages, Theory and Practice

ER -

ID: 31647289