Extended context-sensitive strong normalization
for simply typed terms.
</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>