Sciweavers

2 search results - page 1 / 1
» Stone Duality for Stable Functions
Sort
View
CTCS
1991
Springer
13 years 8 months ago
Stone Duality for Stable Functions
Thomas Ehrhard, Pasquale Malacaria
CCA
2005
Springer
13 years 10 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 o...
Paul Taylor 0002