3 citations · 3 across the 4 of their papers we have counts for
3 papers · 1 filter
Logic of computational semi-effects and categorical gluing for equivariant functors
Yuichi Nishiwaki, Toshiya Asai
In this paper, we revisit Moggi's celebrated calculus of computational effects from the perspective of logic of monoidal action (actegory). Our development takes the following step…
Modality via Iterated Enrichment
Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase
This paper investigates modal type theories by using a new categorical semantics called change-of-base semantics. Change-of-base semantics is novel in that it is based on (possibly…
Contextual Modal Type Theory with Polymorphic Contexts
Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi
Modal types -- types that are derived from proof systems of modal logic -- have been studied as theoretical foundations of metaprogramming, where program code is manipulated as fir…