ホモトピーを使った計算モデル
- STATE SPACES AND DIPATHS UP TO DIHOMOTOPY :
http://people.math.aau.dk/~raussen/GETCO/D02/hha.pdf , http://www.intlpress.com/HHA/v5/n2/a9/v5n2a9.pdf (絵付き) - Simulations as Homotopies :
http://www.math.uwo.ca/~kworytki/getco2.pdf - Simplicial models for concurrency :
http://arxiv.org/abs/1011.6599 - A model category for the homotopy theory of concurrency :
http://arxiv.org/abs/math/0308054 - Homotopy Theory of Labelled Symmetric Precubical Sets :
http://arxiv.org/abs/1208.4494 - Types for Quantum Computing :
http://homepages.ulb.ac.be/~rduncan/papers/rduncan-thesis.pdf