Naoki Kobayashi 0001. 10 Years of the Higher-Order Model Checking Project (Extended Abstract). In Ekaterina Komendantskaya, editor, Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. ACM, 2019. [doi]
Abstract is missing.