Akira Yoshimizu | DeepAI

DeepAI

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

Featured Co-authors

Ugo Dal Lago
34 publications
Francesco Gavazzo
12 publications
Yosuke Fukuda
1 publication

research

∙ 04/27/2019

Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)

We introduce a new form of logical relation which, in the spirit of metr...

0 Ugo Dal Lago, et al. ∙

research

∙ 04/24/2019

A Linear-logical Reconstruction of Intuitionistic Modal Logic S4

We propose a "modal linear logic" to reformulate intuitionistic modal lo...

0 Yosuke Fukuda, et al. ∙