Robert W J Furber
Robert W J Furber
Bestätigte E-Mail-Adresse bei cs.aau.dk - 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
442015
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
44*2013
The expectation monad in quantum foundations
B Jacobs, J Mandemaker, R Furber
Information and Computation 250, 87-114, 2016
412016
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
92018
Categorical Duality in Probability and Quantum Foundations
RWJ Furber
[Sl: sn], 2017
92017
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
8*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
72017
Towards a categorical account of conditional probability
R Furber, B Jacobs
arXiv preprint arXiv:1306.0831, 2013
62013
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
52017
Probabilistic logics based on Riesz spaces
M Mio, R Mardare, R Furber
Logical Methods in Computer Science 16, 2020
4*2020
Categorical Equivalences from State-Effect Adjunctions
R Furber
arXiv preprint arXiv:1901.10116, 2019
32019
Continuous Dcpos in Quantum Computing
R Furber
32019
Scott Continuity in Generalized Probabilistic Theories
R Furber
arXiv preprint arXiv:2005.00210, 2020
12020
Unordered tuples in Quantum Computation
R Furber, B Westerbaan
arXiv preprint arXiv:1409.1020, 2014
12014
Extra Examples for “Scott Continuity in Generalized Probabilistic Theories”
R Furber
2019
Duality for Effect Algebras and Convex Sets
R Furber
2016
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–17