Pattern Unification for the Lambda Calculus with Linear and Affine Types

International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Pub Date : 2010-09-11 DOI:10.4204/EPTCS.34.9

Anders Schack-Nielsen, C. Schürmann

引用次数: 9

Abstract

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.

查看原文本刊更多论文

线性和仿射λ演算的模式统一

我们定义了线性和仿射型理论中高阶统一问题的模式片段，并给出了计算大多数一般统一子的确定性统一算法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

自引率

0.00%

发文量