Pattern Unification for the Lambda Calculus with Linear and Affine Types
| Autor: | Anders Schack-Nielsen, Carsten Schürmann |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2010 |
| Předmět: | |
| Zdroj: | Electronic Proceedings in Theoretical Computer Science, Vol 34, Iss Proc. LFMTP 2010, Pp 101-116 (2010) |
| Druh dokumentu: | article |
| ISSN: | 2075-2180 |
| DOI: | 10.4204/EPTCS.34.9 |
| Popis: | We define the pattern fragment for higher-order unification problems in linear and affine type theory and give a deterministic unification algorithm that computes most general unifiers. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|