Sciweavers

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