21 citations · 43 across the 12 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets
Abbas Edalat, Pietro Di Gianantonio, Amin Farjudian
We develop a domain-theoretic framework for imprecise probability reasoning and inference on general topological spaces with a countably based continuous lattice of open sets. We a…
cs.LO2022★ 2 cited
A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation
Pietro Di Gianantonio, Abbas Edalat, Ran Gutin
We present a simple functional programming language, called Dual PCF, that implements forward mode automatic differentiation using dual numbers in the framework of exact real numbe…