The homotopy theory of type theories

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kapulkin, Chris, Lumsdaine, Peter LeFanu
Format:	Preprint
Publié:	2016
Sujets:	Category Theory 18G55 Homotopical algebra (primary) 03B15 Higher-order logic & type theory 18C50 Cat'l semantics of formal languages 55U35 Abstract & axiomatic homotopy theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/1610.00037