ITU

Pattern Unification for the Lambda Calculus with Linear and Affine Types

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

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

ID: 31647289