The ring of real-valued functions on a frame

From MaRDI portal
Publication:2834682