Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis.

Hannes Diener, Peter Schuster

Browse the full CCA paper archive.