%0 Journal Article %1 Cartmell1986209 %A Cartmell, John %D 1986 %J Annals of Pure and Applied Logic %K C-system algebraic generalised theory %N 0 %P 209 - 243 %R http://dx.doi.org/10.1016/0168-0072(86)90053-9 %T Generalised algebraic theories and contextual categories %U http://www.sciencedirect.com/science/article/pii/0168007286900539 %V 32

@article{Cartmell1986209, added-at = {2014-11-18T06:47:51.000+0100}, author = {Cartmell, John}, biburl = {https://www.bibsonomy.org/bibtex/21186239bcdd1b83820e95db516ded72a/t.uemura}, doi = {http://dx.doi.org/10.1016/0168-0072(86)90053-9}, interhash = {3ae97e25bd7a3570ad751a808a2a14f9}, intrahash = {1186239bcdd1b83820e95db516ded72a}, issn = {0168-0072}, journal = {Annals of Pure and Applied Logic }, keywords = {C-system algebraic generalised theory}, number = 0, pages = {209 - 243}, timestamp = {2014-11-18T06:57:51.000+0100}, title = {Generalised algebraic theories and contextual categories }, url = {http://www.sciencedirect.com/science/article/pii/0168007286900539}, volume = 32, year = 1986 }