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]
@article{GiacobazziPT18, title = {Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1)}, author = {Roberto Giacobazzi and Dusko Pavlovic and Tachio Terauchi}, year = {2018}, url = {https://shonan.nii.ac.jp/seminars/115/}, researchr = {https://researchr.org/publication/GiacobazziPT18}, cites = {0}, citedby = {0}, journal = {NII Shonan Meet. Rep.}, volume = {2018}, }