Categories isomorphic to the Kubiak-Šostak extension of TML.

From MaRDI portal
Publication:2492333