The homotopy theory of type theories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kapulkin, Chris, Lumsdaine, Peter LeFanu
Format:	Preprint
Published:	2016
Subjects:	Category Theory 18G55 Homotopical algebra (primary) 03B15 Higher-order logic & type theory 18C50 Cat'l semantics of formal languages 55U35 Abstract & axiomatic homotopy theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/1610.00037