Investigating The Algebraic Structure of Dihomotopy Types

Philippe Gaucher. Investigating The Algebraic Structure of Dihomotopy Types. Electronic Notes in Theoretical Computer Science, 52(2):139-163, 2001. [doi]

Abstract

Abstract is missing.