Ranald Clouston. Nominal Lawvere Theories: A category theoretic account of equational theories with names. J. Comput. Syst. Sci., 80(6):1067-1086, 2014. [doi]
@article{Clouston14,
title = {Nominal Lawvere Theories: A category theoretic account of equational theories with names},
author = {Ranald Clouston},
year = {2014},
doi = {10.1016/j.jcss.2014.04.002},
url = {http://dx.doi.org/10.1016/j.jcss.2014.04.002},
researchr = {https://researchr.org/publication/Clouston14},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {80},
number = {6},
pages = {1067-1086},
}