A model for HAS. A topological interpretation of the theory of species of natural numbers
Volume 82 / 1974
Fundamenta Mathematicae 82 (1974), 167-174
DOI: 10.4064/fm-82-2-167-174