Jérémie Koenig | DeepAI

DeepAI

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

Featured Co-authors

Ling Zhang
38 publications
Yuting Wang
11 publications
Zhong Shao
4 publications

research

∙ 02/25/2023

A Bottom-Up Approach to a Unified Semantic Interface for Verified Compositional Compilation

Verified compositional compilation (VCC) is a notion of modular verifica...

0 Ling Zhang, et al. ∙

research

∙ 11/03/2022

Grounding Game Semantics in Categorical Algebra

I present a formal connection between algebraic effects and game semanti...

0 Jérémie Koenig, et al. ∙