- <subsection name="A">Stage "A" </subsection>
- <news class="delta" date="2015 August 27.">
- λδ-2A appears too complex and is dismissed.
- </news>
- <news class="gamma" date="2014 October 28.">
- λδ version 2A is released.
- </news>
- <news class="beta" date="2014 September 9.">
- Iterated static type assignment defined (more elegantly)
- as a primitive notion.
- </news>
- <news class="beta" date="2014 June 18.">
- Preservation of stratified native validity
- for context-sensitive computation on terms.
- </news>
- <news class="alpha" date="2014 June 9.">
- Strong qrst-normalization
- for simply typed terms.
- </news>
- <news class="alpha" date="2014 April 16.">
- Lazy equivalence on local environments
- added as q-step to rst-computation on closures
- (anniversary milestone).
- </news>
- <news class="alpha" date="2014 January 20.">
- Parametrized slicing on local environments
- comprises both versions of this operation
- (one from basic_1, the other used in basic_2 till now).
- </news>
- <news class="alpha" date="2013 August 7.">
- Passive support for global environments.
- </news>
- <news class="alpha" date="2013 July 27.">
- Reaxiomatized β-reductum as in rt-reduction.
- </news>
- <news class="alpha" date="2013 July 20.">
- Context-sensitive strong rt-normalization
- for simply typed terms.
- </news>
- <news class="alpha" date="2013 April 16.">
- Reaxiomatized substitution and reduction
- commute with respect to subclosure
- (anniversary milestone).
- </news>
- <news class="alpha" date="2013 March 16.">
- Mutual recursive preservation of stratified native validity
- for rst-computation on closures.
- </news>
- <news class="alpha" date="2012 October 16.">
- Confluence for context-free parallel reduction on closures.
- </news>
- <news class="alpha" date="2012 July 26.">
- Term binders polarized to control ζ-reduction (not released).
- </news>
- <news class="alpha" date="2012 April 16.">
- Context-sensitive subject equivalence
- for atomic arity assignment
- (anniversary milestone).
- </news>
- <news class="alpha" date="2012 March 15.">
- Context-sensitive strong normalization
- for simply typed terms.
- </news>
- <news class="alpha" date="2012 January 27.">
- Generic candidates of reducibility.
- </news>
- <news class="alpha" date="2011 September 21.">
- Confluence for context-sensitive parallel reduction on terms.
- </news>
- <news class="alpha" date="2011 September 6.">
- Confluence for context-free parallel reduction on terms.
- </news>
- <news class="alpha" date="2011 April 17.">
- λδ-2A is started.
- </news>
-