Research Output per year

## 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

## 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 proceeding › Article in proceeding › Research › peer-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 proceeding › Article in proceeding › Research › peer-review

Riesz Space

Modal Logic

Markov Process

Logic

Monads

## 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 proceeding › Article in proceeding › Research › peer-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

Markov Process

Duality

Measurable space

Boolean algebra

Modality