通过交叉点类型的边界规范化时间
Bounding normalization time through intersection types
摘要：
使用非幂等交集类型是为了给出lambda项的规范化β-归约序列的长度的界限：即，界限被表示为项的大小的函数。
英文摘要：
Non-idempotent intersection types are used in order to give a bound of the length of the normalization beta-reduction sequence of a lambda term: namely, the bound is expressed as a function of the size of the term.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
