Robert Furber

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 10

Top Topics

Joint Probability

Vertically Partitioned

Top Venues

Publications

Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott
Interpreting Lambda Calculus in Domain-Valued Random Variables. CoRR (2021)
Robert Furber, Radu Mardare, Matteo Mio
Probabilistic logics based on Riesz spaces. Log. Methods Comput. Sci. 16 (1) (2020)
Robert Furber
Scott Continuity in Generalized Probabilistic Theories. QPL (2019)
Robert Furber, Radu Mardare, Matteo Mio
Probabilistic logics based on Riesz spaces. CoRR (2019)
Robert Furber
Categorical Equivalences from State-Effect Adjunctions. QPL (2018)
Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott
Boolean-Valued Semantics for the Stochastic λ-Calculus. LICS (2018)
Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
Unrestricted stone duality for Markov processes. LICS (2017)
Matteo Mio, Robert Furber, Radu Mardare
Riesz Modal logic for Markov processes. LICS (2017)
Mathys Rennela, Sam Staton, Robert Furber
Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras. QPL (2016)
Bart Jacobs, Jorik Mandemaker, Robert Furber
The expectation monad in quantum foundations. Inf. Comput. 250 (2016)
Robert Furber, Bas Westerbaan
Unordered Tuples in Quantum Computation. QPL (2015)
Robert Furber, Bart Jacobs
From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. CALCO (2013)
Robert Furber, Bart Jacobs
Towards a Categorical Account of Conditional Probability. CoRR (2013)