Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory.

Margarita V. Korovina, Oleg V. Kudinov

Browse the full CCA paper archive.