Topological rewriting and the geometrization of programming

From MaRDI portal
Publication:933444