Sean Moss | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Sam Staton
22 publications
Paolo Perrone
15 publications
Cristina Matache
3 publications

research

∙ 07/15/2022

A category-theoretic proof of the ergodic decomposition theorem

The ergodic decomposition theorem is a cornerstone result of dynamical s...

0 Sean Moss, et al. ∙

research

∙ 05/31/2022

Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction)

We study concrete sheaf models for a call-by-value higher-order language...

0 Cristina Matache, et al. ∙

research

∙ 04/14/2022

Probability monads with submonads of deterministic states - Extended version

Probability theory can be studied synthetically as the computational eff...

0 Sean Moss, et al. ∙

research

∙ 05/05/2021

Recursion and Sequentiality in Categories of Sheaves

We present a fully abstract model of a call-by-value language with highe...

0 Cristina Matache, et al. ∙