Abstract Datatypes for Real Numbers in Type Theory Mart´ın H¨ - Real computation - Document - PDFSEARCH.IO

First Page	Meta Content
	Abstract Datatypes for Real Numbers in Type Theory Mart´ın H¨ Add to Reading List Document Date: 2014-02-13 07:08:13 Open Document File Size: 359,77 KB Share Result on Facebook Company System T. / / Facility University of Edinburgh Abstract / University of Birmingham LFCS / / IndustryTerm machinery / program computing dbl / / Organization School of Computer Science / University of Edinburgh Abstract / University of Birmingham LFCS / School of Informatics / / Position programmer / / ProgrammingLanguage Haskell / R / / Technology functional programming / / SocialTag Computability theory Functions and mappings Models of computation Lambda calculus Theoretical computer science Continuous function Structure Function Independence Mathematics

Abstract Datatypes for Real Numbers in Type Theory Mart´ın H¨Add to Reading List