Sciweavers

148 search results - page 1 / 30
» apal 2007
Sort
View
APAL
2006
52views more  APAL 2006»
15 years 17 days ago
A globalisation of the Gelfand duality theorem
Bernhard Banaschewski, Christopher J. Mulvey
APAL
2006
52views more  APAL 2006»
15 years 17 days ago
Compactly generated Hausdorff locales
Martín Hötzel Escardó
71
Voted
APAL
2006
57views more  APAL 2006»
15 years 17 days ago
Heyting-valued interpretations for Constructive Set Theory
Nicola Gambino
APAL
2006
45views more  APAL 2006»
15 years 17 days ago
Programming interfaces and basic topology
Peter Hancock, Pierre Hyvernat