Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Théorie homotopique des types"'
Autor:
Benjamin, Thibaut
Publikováno v:
Formal Languages and Automata Theory [cs.FL]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAX077⟩
We study a type theoretic definition of weak omega-categories originally introduced by Finster and Mimram, inspired both from ideas coming from homotopy type theory and from a definition of weak omega-category due to Grothendieck and Maltsiniotis. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::42e29af0e28d739514d689a299e60b65
https://tel.archives-ouvertes.fr/tel-03106197/file/94836_BENJAMIN_2020_archivage.pdf
https://tel.archives-ouvertes.fr/tel-03106197/file/94836_BENJAMIN_2020_archivage.pdf
Autor:
Benjamin, Thibaut
Publikováno v:
Formal Languages and Automata Theory [cs.FL]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAX077⟩
We study a type theoretic definition of weak omega-categories originally introduced by Finster and Mimram, inspired both from ideas coming from homotopy type theory and from a definition of weak omega-category due to Grothendieck and Maltsiniotis. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::42e29af0e28d739514d689a299e60b65
https://tel.archives-ouvertes.fr/tel-03106197/file/94836_BENJAMIN_2020_archivage.pdf
https://tel.archives-ouvertes.fr/tel-03106197/file/94836_BENJAMIN_2020_archivage.pdf
Autor:
Bordg, Anthony
Cette thèse de doctorat a pour sujet les modèles de la théorie homotopique des types avec l'Axiome d'Univalence introduit par Vladimir Voevodsky. L'auteur prend pour cadre de travail les définitions de type-theoretic model category, type-theoreti
Externí odkaz:
http://www.theses.fr/2015NICE4083