Now f is continuous (exercise!) Rob Arthan Lemma 1 Ltd. Queen Mary, University of London ETAPS AIPA 2012 - Queen Mary, University of London - Document - PDFSEARCH.IO

First Page	Meta Content
	Now f is continuous (exercise!) Rob Arthan Lemma 1 Ltd. / Queen Mary, University of London ETAPS/AIPA 2012 Add to Reading List Document Date: 2012-04-01 14:33:54 Open Document File Size: 145,29 KB Share Result on Facebook Company Grp Groups Group / Rob Arthan Lemma 1 Ltd. / / Facility University of London ETAPS/AIPA / / Organization University of London ETAPS/AIPA / / Person Mary / / Position Queen / candidate for proof automation / / SocialTag Category theory Calculus Continuous function Category Topology Concrete category Morphism Linear map Itō diffusion Mathematics

Now f is continuous (exercise!) Rob Arthan Lemma 1 Ltd. / Queen Mary, University of London ETAPS/AIPA 2012Add to Reading List