Sean Moss

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Probability monads with submonads of deterministic states	2024-12-06	Paper
Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction	2024-12-06	Paper
Denotational semantics for languages for inference: semirings, monads, and tensors	2023-12-27	Paper
A category-theoretic proof of the ergodic decomposition theorem Ergodic Theory and Dynamical Systems	2023-12-15	Paper
scientific article; zbMATH DE number 7700630 (Why is no real title available?) (available as arXiv preprint)	2023-06-23	Paper
Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction)	2022-05-31	Paper
Probability monads with submonads of deterministic states - Extended version	2022-04-14	Paper
Dialectica models of type theory Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Dialectica models of type theory Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
A monad for full ground reference cells	2021-01-19	Paper
A monad for full ground reference cells (available as arXiv preprint)	2021-01-19	Paper
Another approach to the Kan-Quillen model structure Journal of Homotopy and Related Structures	2020-04-16	Paper
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets (available as arXiv preprint)	N/A	Paper
Scoped Effects as Parameterized Algebraic Theories (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Sean Moss