20172018
If you made any changes in Pure these will be visible here soon.

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 5 Similar Profiles
Markov Process Mathematics
Presheaves Mathematics
Riesz Space Mathematics
W-algebras Mathematics
Stochastic Calculus Mathematics
Lambda Calculus Mathematics
Matrix Algebra Mathematics
Duality Mathematics

Network Dive into details by clicking on the dots.

Research Output 2017 2018

  • 4 Article in proceeding
3 Citations (Scopus)

Boolean-valued semantics for the stochastic Lambda-calculus

Bacci, G., Furber, R., Kozen, D., Mardare, R., Panangaden, P. & Scott, D., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, p. 669-678 10 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Stochastic Calculus
Lambda Calculus
Measure Algebra
Term
Higher Order
2 Citations (Scopus)

Riesz Modal logic for Markov processes

Mio, M., Furber, R. & Mardare, R. I., 2018, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005091

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Riesz Space
Modal Logic
Markov Process
Logic
Monads
123 Downloads (Pure)

Infinite-dimensionality in quantum foundations: W∗-algebras as presheaves over matrix algebras

Rennela, M., Staton, S. & Furber, R., 1 Jan 2017, Proceedings 13th International Conference on Quantum Physics and Logic . Duncan, R. & Heunen, C. (eds.). Open Publishing Association, p. 161-173 13 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 236).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
Presheaves
W-algebras
Matrix Algebra
Dimensionality
Completely Positive Maps
1 Citation (Scopus)

Unrestricted stone duality for Markov processes

Furber, R., Kozen, D., Larsen, K. G., Mardare, R. I. & Panangaden, P., 8 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Press, 8005152

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Markov Process
Duality
Measurable space
Boolean algebra
Modality