- <subsection name="B">Stage "B"</subsection>
- <news class="alpha" date="Ongoing.">
- Context-sensitive subject equivalence
- for native type assignment.
- </news>
-
- <subsection name="A2">Stage "A2": "Extending the Applicability Condition"</subsection>
-
- <news class="alpha" date="2017 October 17.">
- Exclusion binder in local environments.
- Syntactic component updated:
- syntax, relocation, s_transition, s_computation, static, i_static.
- </news>
- <news class="alpha" date="2017 April 16.">
- Strong rt-normalization
- for simply typed terms
+ <news class="gamma" date="2020-04-16.">
+ Sort hierarchy parameter removed from unbound rt-transition