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 |
|---|
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 |
A causal Markov category with Kolmogorov products
(available as arXiv preprint) | 2025-01-01 | Paper |
| 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 |
Denotational semantics for languages for inference: semirings, monads, and tensors
(available as arXiv preprint) | 2023-01-01 | 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
(available as arXiv preprint) | 2021-01-19 | Paper |
| A monad for full ground reference cells | 2021-01-19 | Paper |
Another approach to the Kan-Quillen model structure
Journal of Homotopy and Related Structures | 2020-04-16 | Paper |
Research outcomes over time
This page was built for person: Sean Moss
