The following pages link to Sean Moss (Q2173526):
Displayed 8 items.
- Another approach to the Kan-Quillen model structure (Q2173527) (← links)
- A monad for full ground reference cells (Q5144656) (← links)
- Dialectica models of type theory (Q5145350) (← links)
- A category-theoretic proof of the ergodic decomposition theorem (Q6068437) (← links)
- (Q6159941) (← links)
- Probability monads with submonads of deterministic states - Extended version (Q6396522) (← links)
- Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction) (Q6400711) (← links)
- Denotational semantics for languages for inference: semirings, monads, and tensors (Q6465225) (← links)