research
∙
11/22/2022
Continuous R-valuations
We introduce continuous R-valuations on directed-complete posets (dcpos,...
share
research
∙
11/18/2022
On Weakly Hausdorff Spaces and Locally Strongly Sober Spaces
We show that the locally strongly sober spaces are exactly the coherent ...
research
∙
09/28/2022
A cone-theoretic barycenter existence theorem
We show that every continuous valuation on a locally convex, locally con...
research
∙
09/01/2021
Separating minimal valuations, point-continuous valuations and continuous valuations
We give two concrete examples of continuous valuations on dcpo's to sepa...
research
∙
06/30/2021
A Domain-Theoretic Approach to Statistical Programming Languages
We give a domain-theoretic semantics to a statistical programming langua...
research
∙
04/24/2019
The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering
Elegant and general algorithms for handling upwards-closed and downwards...
research
∙
03/29/2019
Fooling the Parallel Or Tester with Probability 8/27
It is well-known that the higher-order language PCF is not fully abstrac...
research
∙
12/30/2018
A Probabilistic and Non-Deterministic Call-by-Push-Value Language
There is no known way of giving a domain-theoretic semantics to higher-o...
research
∙
10/19/2017