Skip To Main Content
Rasmus Ejlers Møgelberg on Muck Rack

Rasmus Ejlers Møgelberg

As seen in: itu.dk
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile

Get in touch with Rasmus Ejlers

Contact Rasmus Ejlers, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

Articles

A Convenient Fibration for Dependently-Typed Probability Theory

|
By Danel Ahman, Ohad Kammar, Rasmus Ejlers Møgelberg
| itu.dk
Grothendieck fibration conditional expectation denotational semantics dependent types fibred monad measure theory probabilistic programming probability theory quasi-Borel space quasitopos random variables synthetic measure theory APA Author BIBTEX Harvard Standard RIS Vancouver Ahman D, Kammar O, Møgelberg RE. A Convenient Fibration for Dependently-Typed Probability Theory. I Faggian C, Katoen JP, red., 41st Annual Symposium on Logic in Computer Science (LICS 2026). Bind 380.
Open in Who Shared Issue with article?
See all 1 articles