Robert Furber
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Interpreting Lambda Calculus in Domain-Valued Random Variables. | Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott |
| 2018 | LICS | Boolean-Valued Semantics for the Stochastic λ-Calculus. | Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott |
| 2017 | LICS | Unrestricted stone duality for Markov processes. | Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden |
| 2017 | LICS | Riesz Modal logic for Markov processes. | Matteo Mio, Robert Furber, Radu Mardare |
| 2013 | CALCO | From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. | Robert Furber, Bart Jacobs |