Shin-ya Katsumata | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Marco Gaboardi
2 publications
Arthur Azevedo de Amorim
2 publications
Justin Hsu
2 publications
Tarmo Uustalu
2 publications
Tetsuya Sato
1 publication

research

∙ 10/18/2018

Codensity Lifting of Monads and its Dual

We introduce a method to lift monads on the base category of a fibration...

0 Shin-ya Katsumata, et al. ∙

research

∙ 07/13/2018

Metric Semantics for Probabilistic Relational Reasoning

The Fuzz programming language [Reed and Pierce, 2010] uses an elegant li...

0 Arthur Azevedo de Amorim, et al. ∙

Success!

An error occurred