| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422204 | Electronic Notes in Theoretical Computer Science | 2009 | 8 Pages |
Abstract
This paper is the extended introduction of a series of papers about modelling T-homotopy by refinement of observation. The notion of T-homotopy equivalence is discussed. A new one is proposed and its behaviour with respect to other construction in dihomotopy theory is explained.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
