Extended context-sensitive strong normalization
for simply typed terms.
</news>
+ <news date="2012 July 26.">
+ Polarized binders to control ΞΆ reduction.
+ </news>
<news date="2012 April 16.">
Context-sensitive subject equivalence
for atomic arity assignment