Cartesian closed exact completions

From MaRDI portal
Publication:1124976