Computability of continuous solutions of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Abstract. Given a continuous functional f : X → Y and y ∈ Y , we wish - Computable topology - Document - PDFSEARCH.IO

First Page	Meta Content
	Computability of continuous solutions of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Abstract. Given a continuous functional f : X → Y and y ∈ Y , we wish Add to Reading List Document Date: 2009-03-18 06:51:09 Open Document File Size: 157,00 KB Share Result on Facebook City Berlin / / Currency pence / / Facility University of Birmingham / / IndustryTerm finite products / limit operator / approximate solutions / functional algorithms / continuous solutions / above unique-solution algorithm / infinite systems / / Organization Mart´ın Escard´o School of Computer Science / University of Birmingham / / Position Bishop / representative / / Technology Lazy functional algorithms / desired algorithm / resulting algorithm / / SocialTag Theory of computation Theoretical computer science Metric space Computable function Uniform space Filter Continuous function Mathematics Computability theory Topology

Computability of continuous solutions of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Abstract. Given a continuous functional f : X → Y and y ∈ Y , we wishAdd to Reading List