Avancerad sökning
Hittade 1 avhandling som matchar ovanstående sökkriterier.
1. Contributions to Pointfree Topology and Apartness Spaces
Sammanfattning : The work in this thesis contains some contributions to constructive point-free topology and the theory of apartness spaces. The first two papers deal with constructive domain theory using formal topology. LÄS MER
Resultatsidor:
1