A computable version of Banach s Inverse Mapping Theorem

Vasco Brattka. A computable version of Banach s Inverse Mapping Theorem. Annals of Pure and Applied Logic, 157(2-3):85-96, 2009. [doi]

Abstract

Abstract is missing.