1. Program refinement in fair transition systems

   • Ambuj K. Singh

   OriginalPaper Pages: 503 - 535

2. Proving termination of (conditional) rewrite systems

   • Eddy Bevers
   • Johan Lewi

   OriginalPaper Pages: 537 - 568

3. An algebraic semantics of higher-order types with subtypes

   • Zhenyu Qian

   OriginalPaper Pages: 569 - 607