- <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 March 16.">
- First behavioral component reconstructed:
- rt_transition.
- </news>
- <news class="alpha" date="2017 February 19.">
- Generic candidates of reducibility.
- </news>
- <news class="alpha" date="2017 January 17.">
- Confluence for parallel r-transition on referred entries of local environments.
- </news>
- <news class="alpha" date="2016 September 15.">
- Confluence for context-sensitive parallel r-transition on terms.
- </news>
- <news class="alpha" date="2016 April 16.">
- Syntactic component reconstructed:
- syntax, relocation, s_transition, s_computation, static
+ <news class="gamma" date="2020-04-16.">
+ Sort hierarchy parameter removed from unbound rt-transition