Sciweavers

4670 search results - page 31 / 934
» Toward meaningful computing
Sort
View
82
Voted
CIE
2005
Springer
15 years 6 months ago
Towards Computability of Higher Type Continuous Data
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
Margarita V. Korovina, Oleg V. Kudinov