Yuito Murase | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Yuichi Nishiwaki
5 publications
Yoshihiko Kakutani
1 publication

research

∙ 04/09/2018

Modality via Iterated Enrichment

This paper investigates modal type theories by using a new categorical s...

0 Yuichi Nishiwaki, et al. ∙

research

∙ 01/28/2018

Polymorphic Context for Contextual Modality

Through the Curry-Howard isomorphism between logics and calculi, necessi...

0 Yuito Murase, et al. ∙