非幂等交叉类型的居住化
摘要：相交类型在λ-演算中的居住问题是已知的不可判定问题。我们在非幂等相交的情况下研究该问题，考虑了几种类型赋值系统，这些系统可以描述可解或强正规的λ-项。我们通过为所有考虑的系统提供声音和完备的居住算法，证明了居住问题的可判定性。
作者：Antonio Bucciarelli and Delia Kesner and Simona Ronchi Della Rocca
论文ID：1712.03829
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22