Skip to search boxSkip to navigationSkip to main content

Pattern Unification for the Lambda Calculus with Linear and Affine Types

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 101 (15 pages)

Publication milestones

  • Published - 2010

Publication status

Published - 2010

Book series

  • Book series name: EPTCS
    Series number: 34

Chapter Number

116

Publication IDs

  • Scopus: 85044527715

Host publication title

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

Publication metrics

PlumX

Citations
6
Captures
3