Sökning: "Peter Schuster"
Hittade 1 avhandling innehållade orden Peter Schuster.
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