Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory. Korovina, M. V. & Kudinov, O. V. In Blanck, J., Brattka, V., & Hertling, P., editors, Computability and Complexity in Analysis, volume 2064, pages 146–168, Berlin, 2001. Springer. 4th International Workshop, CCA 2000, Swansea, UK, September 2000bibtex @INPROCEEDINGS{KK01,
author = {Korovina, Margarita V. and Kudinov, Oleg V.},
title = {Formalisation of Computability of Operators and Real-Valued Functionals
via Domain Theory},
booktitle = {Computability and Complexity in Analysis},
year = {2001},
editor = {Blanck, Jens and Brattka, Vasco and Hertling, Peter},
volume = {2064},
series = LNCS,
pages = {146--168},
address = {Berlin},
publisher = {Springer},
note = {4th International Workshop, CCA 2000, Swansea, UK, September 2000},
keywords = {bib,cca}
}