Skip to Main content Skip to Navigation
Conference papers

The Directed Homotopy Hypothesis

Complete list of metadata

https://hal.inria.fr/hal-03189649
Contributor : Jean Goubault-Larrecq <>
Submitted on : Sunday, April 4, 2021 - 4:23:49 PM
Last modification on : Tuesday, April 6, 2021 - 3:25:11 AM

Identifiers

  • HAL Id : hal-03189649, version 1

Citation

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⟩

Share

Metrics

Record views

28