Banach Spaces as Data Types

DOI10.2168/LMCS-7(2:11)2011zbMath1232.03030arXiv1104.5307OpenAlexW2017913463MaRDI QIDQ3003329

Dag Normann

Publication date: 26 May 2011

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1104.5307

zbMATH Keywords

computable metric spacecomputable Banach spaceinternal algorithminternal computability over a spaceexternally computable functioninternally computable function

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Related Items (2)

Limit spaces with approximations ⋮ A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces

This page was built for publication: Banach Spaces as Data Types