Sciweavers

2 search results - page 1 / 1
» Stone Duality for Stable Functions
Sort
View
CTCS
1991
Springer
13 years 11 months ago
Stone Duality for Stable Functions
Thomas Ehrhard, Pasquale Malacaria
CCA
2005
Springer
14 years 29 days 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