Results

**1 - 3**of**3**### On some peculiar aspects of the constructive theory of point-free spaces

"... spaces ..."

(Show Context)
### A tutorial on formal topology and the basic picture

, 2007

"... 1.1 Some ideas about type theory and the minimalist foundation............ 2 1.2 The point of formal topology.............................. 4 1.3 A formal topology is.................................... 5 ..."

Abstract
- Add to MetaCart

(Show Context)
1.1 Some ideas about type theory and the minimalist foundation............ 2 1.2 The point of formal topology.............................. 4 1.3 A formal topology is.................................... 5