用严格交型刻画$λμ$的逼近和（头）正规化
Characterisation of Approximation and (Head) Normalisation for $λμ$ using Strict Intersection Types
摘要：
我们研究了[van Bakel'16]中提出的严格类型分配。我们定义了一个概念的近似的dumda-mu-terms，表明它产生的语义，并为每个类型的长期有一个近似，具有相同的类型。我们表明，这导致通过分配类型的所有条款，有一个头范式的一个特征，并为所有条款，有一个范式，以及一个为所有条款的强规范化。
英文摘要：
We study the strict type assignment for lambda-mu that is presented in [van Bakel'16]. We define a notion of approximants of lambda-mu-terms, show that it generates a semantics, and that for each typeable term there is an approximant that has the same type. We show that this leads to a characterisation via assignable types for all terms that have a head normal form, and to one for all terms that have a normal form, as well as to one for all terms that are strongly normalisable.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
