A model for HAS. A topological interpretation of the theory of species of natural numbers

From MaRDI portal
Publication:4053625