Sciweavers

Share
CCA
2005
Springer

A Lambda Calculus for Real Analysis

9 years 4 months ago
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.
Paul Taylor 0002
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CCA
Authors Paul Taylor 0002
Comments (0)
books