Chase Ford | DeepAI

DeepAI

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

Featured Co-authors

Lutz Schröder
40 publications
Stefan Milius
24 publications
Barbara König
21 publications
Harsh Beohar
4 publications

research

∙ 03/29/2022

Graded Monads and Behavioural Equivalence Games

The framework of graded semantics uses graded monads to capture behaviou...

0 Harsh Beohar, et al. ∙

research

∙ 11/29/2020

Behavioural Preorders via Graded Monads

Like notions of process equivalence, behavioural preorders on processes ...

0 Chase Ford, et al. ∙