1. A typed logic of partial functions reconstructed classically

   • C. B. Jones
   • C. A. Middelburg

   OriginalPaper Pages: 399 - 430

2. Synthesized and inherited functions

   • Armin Kühnemann
   • Heiko Vogler

   OriginalPaper Pages: 431 - 477

3. On problems with short certificates

   • Graham Farr

   OriginalPaper Pages: 479 - 502