@第{zbMATH07428927条，作者={山崎、广岛和宫岛、Keiichi和Shidama、Yasunari}，Title={拓扑空间上由连续函数组成的函数空间}，FJournal={形式化数学}，日志={Formaliz.Math.}，ISSN={1426-2630}，体积={29}，数字={1}，页码={49--62}，年份={2021}，语言={英语}，DOI={10.2478/forma-2021-0005}，关键词={68V20,46E10}，zbMATH={7428927}，Zbl={1473.68213}}