Formalizing Type Operations Using the “Image” Type Constructor

From MaRDI portal
Publication:4917993