Robert Furber

According to our database, Robert Furber authored at least 12 papers between 2015 and 2021.

Collaborative distances:

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

2021

Interpreting Lambda Calculus in Domain-Valued Random Variables.

Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott

CoRR, 2021

2020

Probabilistic logics based on Riesz spaces.

Robert Furber, Radu Mardare, Matteo Mio

Log. Methods Comput. Sci., 2020

2019

Scott Continuity in Generalized Probabilistic Theories.

Robert Furber

Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019

2018

Categorical Equivalences from State-Effect Adjunctions.

Robert Furber

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

Boolean-Valued Semantics for the Stochastic λ-Calculus.

Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Riesz Modal logic for Markov processes.

Matteo Mio, Robert Furber, Radu Mardare

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Unrestricted stone duality for Markov processes.

Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

The expectation monad in quantum foundations.

Bart Jacobs, Jorik Mandemaker, Robert Furber

Inf. Comput., 2016

Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras.

Mathys Rennela, Sam Staton, Robert Furber

Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

2015

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality.

Robert W. J. Furber, Bart Jacobs

Log. Methods Comput. Sci., 2015

Unordered Tuples in Quantum Computation.

Robert Furber, Bas Westerbaan

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

Towards a Categorical Account of Conditional Probability.

Robert Furber, Bart Jacobs

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015