Cited By
View all- Ghica D(2021)Operational Semantics with Hierarchical Abstract Syntax GraphsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.334.1334(1-10)Online publication date: 8-Feb-2021
- Dal Lago UHoshino N(2021)The geometry of Bayesian programmingMathematical Structures in Computer Science10.1017/S096012952100039631:6(633-681)Online publication date: 7-Dec-2021
- Lago UHoshino N(2019)The Geometry of Bayesian Programming2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1109/LICS.2019.8785663(1-13)Online publication date: Jun-2019
- Show More Cited By