@article {115,
	title = {Lawvere theories and C-systems},
	journal = {arXiv:1512.08104},
	year = {2015},
	month = {12/2015},
	pages = {15pp},
	abstract = {In this paper we consider the class of l-bijective C-systems, i.e., C-systems for which the length function is a bijection. The main result of the paper is a construction of an isomorphism between two categories - the category of l-bijective C-systems and the category of Lawvere theories.},
	url = {https://arxiv.org/abs/1512.08104},
	author = {Voevodsky, Vladimir}
}
