Yuito Murase

According to our database, Yuito Murase authored at least 4 papers between 2018 and 2023.

Collaborative distances:

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

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