arXiv:math/0105049 [math.AT]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords algebraic structure, exactly higher dimensional automata, computer scientific properties, statement/notion concerning dihomotopy types, statement/notion concerning homotopy types Tags expository article, journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset