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 chapterArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 5th Workshop on Logical Frameworks and Meta Languages, Theory and Practice
Number of pages15
Publication date2010
Pages101
Chapter116
Publication statusPublished - 2010
SeriesEPTCS
Number34

Cite this