Modelling Recursion and Probabilistic Choice in Guarded Type Theory.
Proc. ACM Program. Lang., 2025
Modelling Probabilistic FPC in Guarded Type Theory.
CoRR, 2024
What Monads Can and Cannot Do with a Bit of Extra Time.
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
Correspondence Between Composite Theories and Distributive Laws.
Proceedings of the Coalgebraic Methods in Computer Science, 2024
No-Go Theorems for Distributive Laws.
Log. Methods Comput. Sci., 2022
Don't Try This at Home: No-Go Theorems for Distributive Laws.
CoRR, 2018
Quantitative Foundations for Resource Theories.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
Double Dilation ≠ Double Mixing (extended abstract).
Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017