References
References
Backlinks
Backlinks
[引理] 典范形式(canonical forms) [canonical-forms]
[例] 多步归约到值 [multi-step-reduction-to-a-value]
[定义] 一步归约 [one-step-reduction]
[附注] 为什么 E-PredSucc 要求 [numeric-value-restriction-in-predecessor-reduction]
[注记] 存在与生成 [being-and-becoming]
[附注] 显式错误规则与 Kotlin 的底类型 [explicit-errors-and-kotlin-bottom-type]
[定义] 范式与受阻 [normal-forms-and-stuck-terms]