1. On the linear decoration of intuitionistic derivations

   • Vincent Danos
   • Jean-Baptiste Joinet
   • Harold Schellinx

   OriginalPaper Pages: 387 - 412

2. Functoroids and ptykoids

   • J. R. G. Catlow

   OriginalPaper Pages: 413 - 425

3. RSUV isomorphisms for TAC ⁱ , TNC ⁱ and TLS

   • G. Takeuti

   OriginalPaper Pages: 427 - 453