Cartesian closed initial completions

From MaRDI portal
Publication:1134212