The homotopy theory of type theories

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kapulkin, Chris, Lumsdaine, Peter LeFanu
Natura:	Preprint
Pubblicazione:	2016
Soggetti:	Category Theory 18G55 Homotopical algebra (primary) 03B15 Higher-order logic & type theory 18C50 Cat'l semantics of formal languages 55U35 Abstract & axiomatic homotopy theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

https://arxiv.org/abs/1610.00037