Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic
计算机科学中的逻辑
2007-05-23 v1
摘要
We present a type inference algorithm for lambda-terms in Elementary Affine Logic using linear constraints. We prove that the algorithm is correct and complete.
引用
@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}
}