- <span class="date">In progress.</span>
- Closure of native validity
- for context-sensitive extended computation.
+ <span class="date">2014 June 18.</span>
+ Preservation of stratified native validity
+ for context-sensitive computation on terms.
+ </li>
+ </ul>
+ <ul xmlns:ld="http://lambdadelta.info/">
+ <li>
+ <span class="date">2014 June 9.</span>
+ "Big tree" strong normalization
+ for simply typed terms.