Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1)

Roberto Giacobazzi, Dusko Pavlovic, Tachio Terauchi. Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1). NII Shonan Meet. Rep., 2018, 2018. [doi]

Abstract

Abstract is missing.