Sciweavers

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