302 articles – 345 Notices  [english version]
.:. Consultation > Liste par domaine > Combinatoire .:.
3 documents classés par :
About Higher Dimensional Transition Systems
Gaucher P.
Geometric and Topological Methods in Computer Science 2010, Danemark (2010) [hal-00695056 - version 1]
Cubes, homotopy and process algebra
Gaucher P.
Algebraic Topological Methods in Computer Science 2008, France (2008) [hal-00695053 - version 1]
fulltext access Categorical Combinatorics for Innocent Strategies
Harmer R., Hyland M., melliès P.-A.
Dans Proceedings, 22nd Annual IEEE Symposium on Logic in Computer Science - Logic in Computer Science, France (2007) [hal-00150373 - version 1]