Search results
Display by field of research:
-
Nominal Lawvere Theories
- Clouston, R 2011, 'Nominal Lawvere Theories', Logic, Language, Informatio...
-
Nominal Lawvere Theories: A category theoretic account of equational theories with names
- Clouston, R 2014, 'Nominal Lawvere Theories: A category theoretic account of ...