F. William Lawvere. Functorial semantics of algebraic theories. Proceedings of the National Academy of Sciences of the United States of America, vol. 50 (1963), pp. 869–872.
1973 ◽
Vol 70
(10)
◽
pp. 3009-3035
◽
2013 ◽
Vol 98
(9)
◽
pp. 3525-3528
1989 ◽
Vol 86
(23)
◽
pp. 9053-9074
◽