The Directed Homotopy Hypothesis - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

The Directed Homotopy Hypothesis

Fichier principal
Vignette du fichier
CSL16final-hal.pdf (448.74 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03189649 , version 1 (09-06-2021)

Identifiants

  • HAL Id : hal-03189649 , version 1

Citer

Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq. The Directed Homotopy Hypothesis. Proceedings of the 25th Annual EACSL Conference on Computer Science Logic (CSL'16), volume 62 of Leibniz International Proceedings in Informatics, pages 9:1--9:16. Leibniz-Zentrum für Informatik., Sep 2016, Marseille, France. ⟨hal-03189649⟩
82 Consultations
45 Téléchargements

Partager

Gmail Facebook X LinkedIn More