Towards a Categorical Account of Conditional Probability. - Robert Furber; Bart Jacobs 001 (QPL, 2015)

Unordered Tuples in Quantum Computation. - Robert Furber; Bas Westerbaan (QPL, 2015)

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality. - Robert W. J. Furber; Bart Jacobs 001 (Log. Methods Comput. Sci., 2015)

Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras. - Mathys Rennela; Sam Staton; Robert Furber (QPL, 2016)

The expectation monad in quantum foundations. - Bart Jacobs 001; Jorik Mandemaker; Robert Furber (Inf. Comput., 2016)

Unrestricted stone duality for Markov processes. - Robert Furber; Dexter Kozen; Kim G. Larsen; Radu Mardare; Prakash Panangaden (LICS, 2017)

Riesz Modal logic for Markov processes. - Matteo Mio; Robert Furber; Radu Mardare (LICS, 2017)

Boolean-Valued Semantics for the Stochastic λ-Calculus. - Giorgio Bacci; Robert Furber; Dexter Kozen; Radu Mardare; Prakash Panangaden; Dana S. Scott (LICS, 2018)

Categorical Equivalences from State-Effect Adjunctions. - Robert Furber (QPL, 2018)

Scott Continuity in Generalized Probabilistic Theories. - Robert Furber (QPL, 2019)

Probabilistic logics based on Riesz spaces. - Robert Furber; Radu Mardare; Matteo Mio (Log. Methods Comput. Sci., 2020)

Interpreting Lambda Calculus in Domain-Valued Random Variables. - Robert Furber; Radu Mardare; Prakash Panangaden; Dana S. Scott (CoRR, 2021)