Fredrik Dahlqvist

Identifiers

• name variant Fredrik Dahlqvist 0.60 · backfill

Papers (7)

1. Semantics of higher-order probabilistic programs with conditioning cs.LO · 2019 · author #1
2. The positivication of coalgebraic logics cs.LO · 2018 · author #1
3. Compositional semantics for new paradigms: probabilistic, hybrid and beyond cs.LO · 2018 · author #1
4. Borel Kernels and their Approximation, Categorically cs.LO · 2018 · author #1
5. Layer by layer - Combining Monads cs.LO · 2017 · author #1
6. Completeness-via-canonicity for coalgebraic logics cs.LO · 2015 · author #1
7. Coalgebraic completeness-via-canonicity for distributive substructural logics cs.LO · 2015 · author #1

Mentions

• 1508.04940 #1 · backfill · confidence 0.70 Fredrik Dahlqvist

Frequent Coauthors

• Alexandra Silva 2 shared papers
• Alexander Kurz 1 shared papers
• David Pym 1 shared papers
• Dexter Kozen 1 shared papers
• Ilias Garnier 1 shared papers
• Louis Parlant 1 shared papers
• Renato Neves 1 shared papers
• Vincent Danos 1 shared papers