A Lambda Calculus for Real Analysis

Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory of discrete computation. Every expression in the calculus denotes both a continuous function and a program, but the reasoning looks remarkably like a sanitised form of that in classical topology.

• Type: Conference
• Year: 2005
• Where: CCA
• Authors: Paul Taylor 0002
• Keywords: CCA 2005, Computable Continuous Functions, Continuous Function, Infinitary Lattice Theory