Publication:5477360
From MaRDI portal
zbMath1102.03058MaRDI QIDQ5477360
Publication date: 3 July 2006
Related Items
Topological inductive definitions, A constructive and functorial embedding of locally compact metric spaces into locales, Exact approximations to Stone-Čech compactification, On some peculiar aspects of the constructive theory of point-free spaces