A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department - Logic for Computable Functions - Document - PDFSEARCH.IO

First Page	Meta Content
	A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department Add to Reading List Document Date: 2009-02-12 12:32:31 Open Document File Size: 366,65 KB Share Result on Facebook Facility Physics University of Ljubljana Computability / Computer Science University of Manchester UK EPSRC GR/S58522 / / Organization Mathematics and Physics University of Ljubljana Computability and Complexity / Department of Mathematics / Computer Science University of Manchester UK EPSRC GR/S58522 / / ProgrammingLanguage Lambda Calculus / / URL www.cs.man.ac.uk/∼pt/ASD / / SocialTag Theoretical computer science Theory of computation Functions and mappings Function Computable function Algorithm characterizations Primitive recursive function Mathematics Computability theory Mathematical logic

A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 DepartmentAdd to Reading List