| Semantics of higher-order probabilistic programs with conditioning F Dahlqvist, D Kozen arXiv preprint arXiv:1902.11189, 2019 | 36 | 2019 |
| Pointless learning F Clerc, V Danos, F Dahlqvist, I Garnier Foundations of Software Science and Computation Structures: 20th …, 2017 | 34 | 2017 |
| Layer by layer–combining monads F Dahlqvist, L Parlant, A Silva Theoretical Aspects of Computing–ICTAC 2018: 15th International Colloquium …, 2018 | 20 | 2018 |
| Giry and the Machine F Dahlqvist, V Danos, I Garnier Electronic Notes in Theoretical Computer Science 325, 85-110, 2016 | 11 | 2016 |
| Bayesian inversion by ω-complete cone duality F Dahlqvist, V Danos, I Garnier, O Kammar 27th International Conference on Concurrency Theory, 2016 | 9 | 2016 |
| Compositional semantics for new paradigms: probabilistic, hybrid and beyond F Dahlqvist, R Neves arXiv preprint arXiv:1804.04145, 2018 | 8 | 2018 |
| Some sahlqvist completeness results for coalgebraic logics F Dahlqvist, D Pattinson Foundations of Software Science and Computation Structures: 16th …, 2013 | 8 | 2013 |
| The positivication of coalgebraic logics F Dahlqvist, A Kurz arXiv preprint arXiv:1812.07288, 2018 | 7 | 2018 |
| Borel kernels and their approximation, categorically F Dahlqvist, A Silva, V Danos, I Garnier Electronic Notes in Theoretical Computer Science 341, 91-119, 2018 | 7 | 2018 |
| Robustly parameterised higher-order probabilistic models F Dahlqvist, V Danos, I Garnier 27th International Conference on Concurrency Theory (CONCUR 2016), 2016 | 7 | 2016 |
| Completeness via canonicity for distributive substructural logics: a coalgebraic perspective F Dahlqvist, D Pym Relational and Algebraic Methods in Computer Science: 15th International …, 2015 | 7 | 2015 |
| An internal language for categories enriched over generalised metric spaces F Dahlqvist, R Neves arXiv preprint arXiv:2105.08473, 2021 | 6 | 2021 |
| Semantics of probabilistic programming: A gentle introduction F Dahlqvist, A Silva, D Kozen Foundations of Probabilistic Programming, 1-42, 2020 | 5 | 2020 |
| On the Fusion of Coalgebraic Logics. F Dahlqvist, D Pattinson CALCO, 161-175, 2011 | 5 | 2011 |
| A probabilistic approach to floating-point arithmetic F Dahlqvist, R Salvia, GA Constantinides 2019 53rd Asilomar Conference on Signals, Systems, and Computers, 596-602, 2019 | 3 | 2019 |
| Coalgebraic completeness-via-canonicity for distributive substructural logics F Dahlqvist, D Pym Journal of logical and algebraic methods in programming 93, 1-22, 2017 | 3 | 2017 |
| How to write a coequation F Dahlqvist, T Schmid arXiv preprint arXiv:2109.11967, 2021 | 2 | 2021 |
| Program semantics as Kleisli representations F Dahlqvist, R Neves to appear, 2017 | 2 | 2017 |
| Coalgebraic Completeness-via-Canonicity: Principles and Applications F Dahlqvist Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International …, 2016 | 2 | 2016 |
| Completeness-via-canonicity for coalgebraic logics F Dahlqvist arXiv preprint arXiv:1510.09095, 2015 | 2 | 2015 |
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
