- <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="beta" date="2019-04-16.">
+ Extended (λδ-2A) and restricted (λδ-1B) validity is decidable