pp. 53-78].
</body>
<table name="basic_2_sum"/>
+
+ <subsection>Stage "B"</subsection>
<news date="In progress.">
Context-sensitive subject equivalence
for native type assignment.
</news>
- <news date="In progress.">
- Closure of native validity
- for context-sensitive extended computation.
+
+ <subsection>Stage "A": "Weakening the Applicability Condition"</subsection>
+ <news date="2014 June 18.">
+ Preservation of stratified native validity
+ for context-sensitive computation on terms.
+ </news>
+ <news date="2014 June 9.">
+ "Big tree" strong normalization
+ for simply typed terms.
</news>
<news date="2014 April 16.">
lazy equivalence on local environments
- serves as irrelevant step in "big tree" computation
+ serves as irrelevant step in "big tree" computation on closures
(anniversary milestone).
</news>
<news date="2014 January 20.">