Fredrik Dahlqvist

According to our database, Fredrik Dahlqvist authored at least 25 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

The syntactic side of autonomous categories enriched over generalised metric spaces.

Fredrik Dahlqvist, Renato Neves

Log. Methods Comput. Sci., 2023

A Complete V-Equational System for Graded lambda-Calculus.

Fredrik Dahlqvist, Renato Neves

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Deterministic stream-sampling for probabilistic programming: semantics and verification.

Fredrik Dahlqvist, Alexandra Silva, William Smith

LICS, 2023

2022

The syntactic dual of autonomous categories enriched over generalised metric spaces.

Fredrik Dahlqvist, Renato Neves

CoRR, 2022

An Internal Language for Categories Enriched over Generalised Metric Spaces.

Fredrik Dahlqvist, Renato Neves

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

How to write a coequation.

Fredrik Dahlqvist, Todd Schmid

CoRR, 2021

Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations.

George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

How to Write a Coequation ((Co)algebraic pearls).

Fredrik Dahlqvist, Todd Schmid

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020

Semantics of higher-order probabilistic programs with conditioning.

Fredrik Dahlqvist, Dexter Kozen

Proc. ACM Program. Lang., 2020

2019

A Probabilistic Approach to Floating-Point Arithmetic.

Fredrik Dahlqvist, Rocco Salvia, George A. Constantinides

Proceedings of the 53rd Asilomar Conference on Signals, Systems, and Computers, 2019

2018

Borel Kernels and their Approximation, Categorically.

Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Compositional semantics for new paradigms: probabilistic, hybrid and beyond.

Fredrik Dahlqvist, Renato Neves

CoRR, 2018

Layer by Layer - Combining Monads.

Fredrik Dahlqvist, Louis Parlant, Alexandra Silva

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2017

Coalgebraic completeness-via-canonicity for distributive substructural logics.

Fredrik Dahlqvist, David J. Pym

J. Log. Algebraic Methods Program., 2017

Pointless Learning.

Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier

Proceedings of the Foundations of Software Science and Computation Structures, 2017

The Positivication of Coalgebraic Logics.

Fredrik Dahlqvist, Alexander Kurz

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Giry and the Machine.

Fredrik Dahlqvist, Vincent Danos, Ilias Garnier

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

Bayesian Inversion by ω-Complete Cone Duality.

Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Robustly Parameterised Higher-Order Probabilistic Models.

Fredrik Dahlqvist, Vincent Danos, Ilias Garnier

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Coalgebraic Completeness-via-Canonicity - Principles and Applications.

Fredrik Dahlqvist

Proceedings of the Coalgebraic Methods in Computer Science, 2016

2015

Completeness-via-canonicity in coalgebraic logics.

Fredrik Dahlqvist

PhD thesis, 2015

Completeness-via-canonicity for coalgebraic logics.

Fredrik Dahlqvist

CoRR, 2015

Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective.

Fredrik Dahlqvist, David J. Pym

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2013

Some Sahlqvist Completeness Results for Coalgebraic Logics.

Fredrik Dahlqvist, Dirk Pattinson

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2011

On the Fusion of Coalgebraic Logics.

Fredrik Dahlqvist, Dirk Pattinson

Proceedings of the Algebra and Coalgebra in Computer Science, 2011