Yuito Murase

According to our database, Yuito Murase authored at least 6 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Bounded Modal Logic.

Yuito Murase, Akinori Maniwa

CoRR, February, 2026

Contextual Metaprogramming for Session Types.

Pedro Ângelo, Atsushi Igarashi, Yuito Murase, Vasco T. Vasconcelos

Proceedings of the Programming Languages and Systems, 2026

2023

Contextual Modal Type Theory with Polymorphic Contexts.

Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi

Proceedings of the Programming Languages and Systems, 2023

2019

Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic.

Yoshihiko Kakutani, Yuito Murase, Yuichi Nishiwaki

J. Inf. Process., 2019

2018

Modality via Iterated Enrichment.

Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Polymorphic Context for Contextual Modality.

Yuito Murase, Yuichi Nishiwaki

CoRR, 2018