3 citations · 3 across the 2 of their papers we have counts for
3 papers
cs.LO2020
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…
cs.PL2020★ 3 cited
Functional Programming in Pattern-Match-Oriented Programming Style
Satoshi Egi, Yuichi Nishiwaki
Throughout the history of functional programming, recursion has emerged as a natural method for describing loops in programs. However, there does often exist a substantial cognitiv…
cs.LO2018
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…