1. Interpreting higher computations as types with totality

   • L. Kristiansen
   • D. Normann

   OriginalPaper Pages: 243 - 259

2. A note on ordinal numbers and rings of formal power series

   • Kostas Hatzikiriakou

   BriefCommunication Pages: 261 - 263

3. The prime number theorem and fragments ofP A

   • C. Cornaros
   • C. Dimitracopoulos

   OriginalPaper Pages: 265 - 281

4. Binary models generated by their tally part

   • Fernando Ferreira

   OriginalPaper Pages: 283 - 289

   

5. Interpolation property for bicartesian closed categories

   • Djordje Čubrić

   OriginalPaper Pages: 291 - 319