C-system of a module over a monad on sets | Vladimir Voevodsky

Submitted by vladimir on Sun, 2015-03-08 11:56

Publication Type:

Journal Article

Authors:

Voevodsky, Vladimir

Source:

arXiv 1407.3394, submitted, p.1–20 (2014)

URL:

http://arxiv.org/abs/1407.3394