Folgen
Robert W J Furber
Robert W J Furber
Bestätigte E-Mail-Adresse bei ed.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
RWJ Furber, BPF Jacobs
Logical Methods in Computer Science 11 (2), 5, 2015
592015
The expectation monad in quantum foundations
B Jacobs, J Mandemaker, R Furber
Information and Computation 250, 87-114, 2016
462016
Probabilistic logics based on Riesz spaces
M Mio, R Mardare, R Furber
Logical Methods in Computer Science 16, 2020
15*2020
Boolean-valued semantics for the stochastic λ-calculus
G Bacci, R Furber, D Kozen, R Mardare, P Panangaden, D Scott
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
152018
Categorical Duality in Probability and Quantum Foundations
R Furber
Radboud University, Nijmegen, 2017
112017
Infinite-dimensionality in quantum foundations: W*-algebras as presheaves over matrix algebras
R Furber, M Rennela, S Staton
Electronic Proceedings in Theoretical Computer Science, QPL 2016, 2016
11*2016
Riesz Modal logic for Markov processes
M Mio, R Furber, R Mardare
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
92017
Unrestricted stone duality for Markov processes
R Furber, D Kozen, K Larsen, R Mardare, P Panangaden
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-9, 2017
82017
Towards a categorical account of conditional probability
R Furber, B Jacobs
arXiv preprint arXiv:1306.0831, 2013
82013
Continuous Dcpos in Quantum Computing
R Furber
52019
Categorical Equivalences from State-Effect Adjunctions
R Furber
arXiv preprint arXiv:1901.10116, 2019
32019
Scott Continuity in Generalized Probabilistic Theories
R Furber
arXiv preprint arXiv:2005.00210, 2020
22020
A Probability Monad on Measure Spaces
R Furber
12022
Unordered tuples in Quantum Computation
R Furber, B Westerbaan
arXiv preprint arXiv:1409.1020, 2014
12014
Some No-Go Results in Quantum Domain Theory
R Furber
Quantum Physics and Logic 2022, 2022
2022
Interpreting Lambda Calculus in Domain-Valued Random Variables
R Furber, R Mardare, P Panangaden, D Scott
arXiv preprint arXiv:2112.06339, 2021
2021
Extra Examples for “Scott Continuity in Generalized Probabilistic Theories”
R Furber
2019
Duality for Effect Algebras and Convex Sets
R Furber
2016
From Kleisli categories to commutative C*-algebras: probabilistic Gelfand duality
R Furber, B Jacobs
International Conference on Algebra and Coalgebra in Computer Science, 141-157, 2013
2013
Quantum Entanglement and Algebraic Group Actions
R Furber
2011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20