优化最优归约: 初等仪射逻辑类型推断算法
计算机科学中的逻辑
2007-05-23 v1
摘要
我们提出一种用于初等仪射逻辑中 lambda 项的类型推断算法, 采用线性约束。我们证明该算法是正确且完备的。
关键词
引用
@article{arxiv.cs/0305011,
title = {Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic},
author = {Paolo Coppola and Simone Martini},
journal= {arXiv preprint arXiv:cs/0305011},
year = {2007}
}