The Directed Homotopy Hypothesis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Dates and versions

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

Identifiers

  • HAL Id : hal-03189649 , version 1

Cite

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⟩
70 View
35 Download

Share

Gmail Facebook Twitter LinkedIn More