%0 Journal Article %A Dirk van Dalen %T A model for HAS. A topological interpretation of the theory of species of natural numbers %J Fundamenta Mathematicae %D 1974 %P 167-174 %V 82 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm-82-2-167-174/ %R 10.4064/fm-82-2-167-174 %G en %F 10_4064_fm_82_2_167_174