Crosilla, L., & Schuster, P. (2005). From sets and types to topology and analysis: Towards practicable foundations for constructive mathematics. Clarendon.
Chicago Style (17th ed.) CitationCrosilla, Laura, and Peter Schuster. From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics. Oxford: Clarendon, 2005.
MLA (9th ed.) CitationCrosilla, Laura, and Peter Schuster. From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics. Clarendon, 2005.
Warning: These citations may not always be 100% accurate.