| Kripke-style contextual modal type theory Y Murase Work-in-progress report at Logical Frameworks and Meta-Languages, 2017 | 4 | 2017 |
| Contextual Modal Type Theory with Polymorphic Contexts Y Murase, Y Nishiwaki, A Igarashi European Symposium on Programming, 281-308, 2023 | 3 | 2023 |
| Dual-context modal logic as left adjoint of Fitch-style modal logic Y Kakutani, Y Murase, Y Nishiwaki Journal of Information Processing 27, 77-86, 2019 | 3 | 2019 |
| Modality via iterated enrichment Y Nishiwaki, Y Kakutani, Y Murase Electronic Notes in Theoretical Computer Science 341, 297-320, 2018 | 2 | 2018 |
| The System SOL: Second-Order Laboratory M Hamana, T Abe, Y Murase, K Sakaguchi 6th International Workshop on Confluence, 79, 2020 | 1 | 2020 |
Yoshihiko KakutaniUniversity of Tokyois.s.u-tokyo.ac.jp üzerinde doğrulanmış e-posta adresine sahip