for native type assignment.
</news>
<news date="In progress.">
- Closure of extended context-sensitive computation
+ Closure of context-sensitive extended computation
for native validity.
</news>
<news date="In progress.">
- Extended context-sensitive strong normalization
+ Reaxiomatized β-reductum as in extended β-reduction
+ </news>
+ <news date="2013 July 20.">
+ Context-sensitive extended strong normalization
for simply typed terms.
</news>
+ <news date="2013 April 16.">
+ Reaxiomatized substitution and reduction
+ commute with respect to subclosure
+ (anniversary milestone).
+ </news>
+ <news date="2013 March 16.">
+ Mutual recursive preservation of stratified native validity
+ for hyper computation on closures.
+ </news>
<news date="2012 October 16.">
Confluence for context-free parallel reduction on closures.
</news>
<news date="2012 July 26.">
- Term binders polarized to control ζ reduction.
+ Term binders polarized to control ζ-reduction.
</news>
<news date="2012 April 16.">
Context-sensitive subject equivalence