A direct proof that the category of 3-computads is not cartesian closed

From MaRDI portal
Publication:2837317