Christoph Rauch | DeepAI

DeepAI

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

Featured Co-authors

Lutz Schröder
40 publications
Sergey Goncharov
16 publications
Maciej Piróg
1 publication

research

∙ 07/30/2018

A Metalanguage for Guarded Iteration

Notions of guardedness serve to delineate admissible recursive definitio...

0 Sergey Goncharov, et al. ∙

research

∙ 12/27/2017

Guarded and Unguarded Iteration for Generalized Processes

Models of iterated computation, such as (completely) iterative monads, o...

0 Sergey Goncharov, et al. ∙