‪Yuito Murase‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	10	7
h-index	2	1
i10-index	0	0

0

4

2

20182019202020212022202320243 1 2 1 1 1 1

Co-authors

Yoshihiko KakutaniUniversity of TokyoVerified email at is.s.u-tokyo.ac.jp
Tatsuya AbeSTAIR Lab, Chiba Institute of TechnologyVerified email at stair.center
Atsushi IgarashiProfessor, Graduate School of Informatics, Kyoto UniversityVerified email at kuis.kyoto-u.ac.jp
Makoto HamanaAssociate Professor, Gunma UniversityVerified email at cs.gunma-u.ac.jp

Yuito Murase

Yuito Murase

Kyoto University

Verified email at fos.kuis.kyoto-u.ac.jp - Homepage

Modal Type Theory Staged Computation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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
Kripke-style contextual modal type theory Y Murase Work-in-progress report at Logical Frameworks and Meta-Languages, 2017	3	2017
Modality via iterated enrichment Y Nishiwaki, Y Kakutani, Y Murase Electronic Notes in Theoretical Computer Science 341, 297-320, 2018	2	2018
Contextual Modal Type Theory with Polymorphic Contexts Y Murase, Y Nishiwaki, A Igarashi European Symposium on Programming, 281-308, 2023	1	2023
The System SOL: Second-Order Laboratory M Hamana, T Abe, Y Murase, K Sakaguchi 6th International Workshop on Confluence, 79, 2020	1	2020

The system can't perform the operation now. Try again later.

Articles 1–5