Jeremy Gibbons
- Foundations of Probabilistic Programming
2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 5 citations
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
- Profunctor Optics, a Categorical Update
2024/02/23 by Bryce Clarke, Derek Elkins, Jeremy Gibbons +4 · 5 citations
Chemistry · Engineering · Mathematics · #Geophysics and Sensor Technology #Homotopy and Cohomology in Algebraic Topology #Molecular spectroscopy and chirality