星野 直彦  Hoshino Naohiko

Proc. LICS 2019, Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science

巻: -

To appear in Proceedings of Logic in Computer Science 2019

巻: -

Electronic Notes in Theoretical Computer Science

巻: 341 ページ: 219-237

10.1016/j.entcs.2018.11.011

120006695789

Annals of Pure and Applied Logic

巻: 168 号: 2 ページ: 404-469

10.1016/j.apal.2016.10.010

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016

巻: なし ページ: 748-760

10.1145/2837614.2837672

Annals of Pure and Applied Logic

巻: 未定