research
∙
12/12/2021
Interpreting Lambda Calculus in Domain-Valued Random Variables
We develop Boolean-valued domain theory and show how the lambda-calculus...
share
research
∙
05/01/2020
Scott Continuity in Generalized Probabilistic Theories
Scott continuity is a concept from domain theory that had an unexpected ...
research
∙
03/22/2019
Probabilistic logics based on Riesz spaces
We introduce a novel real-valued endogenous logic for expressing propert...
research
∙
01/29/2019