No.115 Intensional and extensional aspects of computation: From computability and complexity to program analysis and security

Roberto Giacobazzi (U. of Verona and IMDEA SW Institute)

Dusko Pavlovic (U. of Hawaii)

Tachio Terauchi  (Waseda University)