Interpreting higher computations as types with totality L. KristiansenD. Normann OriginalPaper Pages: 243 - 259
A note on ordinal numbers and rings of formal power series Kostas Hatzikiriakou BriefCommunication Pages: 261 - 263
The prime number theorem and fragments ofP A C. CornarosC. Dimitracopoulos OriginalPaper Pages: 265 - 281
Interpolation property for bicartesian closed categories Djordje Čubrić OriginalPaper Pages: 291 - 319