Maria Emilia Maietti. Predicative exponentiation of locally compact formal topologies over inductively generated ones. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.
@incollection{Maietti05-0,
title = {Predicative exponentiation of locally compact formal topologies over inductively generated ones},
author = {Maria Emilia Maietti},
year = {2005},
researchr = {https://researchr.org/publication/Maietti05-0},
cites = {0},
citedby = {0},
booktitle = {From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics},
editor = {Laura Crosilla and Peter M. Schuster},
volume = {48},
series = {Oxford logic guides},
publisher = {Oxford University Press},
isbn = {978-0-19-856651-9},
}