Some Constructive Roads to Tychonoff

Steven Vickers, L Crosilla, P Schuster

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	From Sets and Types to Topology and Analyis: Towards Practicable Foundations for Constructive Mathematics : Oxford Logic Guides No 48
Publication status	Published - 1 Jan 2005

Cite this

@inbook{51118b17f1aa4074afb7595814d69a29,

title = "Some Constructive Roads to Tychonoff",

author = "Steven Vickers and L Crosilla and P Schuster",

year = "2005",

month = jan,

day = "1",

language = "English",

booktitle = "From Sets and Types to Topology and Analyis: Towards Practicable Foundations for Constructive Mathematics : Oxford Logic Guides No 48",

}