36 search results - page 8 / 8 » Inductive types in the Calculus of Algebraic Constructions |
CCA
2005
Springer
13 years 11 months ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...