S. N. Burris (1998):
Logic for Mathematics and Computer Science.
Prentice Hall.
R. Clouston (2009):
Equational Logic for Names and Binders.
University of Cambridge.
http://cecs.anu.edu.au/ rclouston/Clouston_Thesis.pdf..
R. Clouston (2010):
Binding in Nominal Equational Logic.
In: MFPS,
ENTCS 265,
pp. 259–276,
doi:10.1016/j.entcs.2010.08.016.
R. Clouston (2011):
Nominal Lawvere Theories.
In: WoLLIC,
LNCS 6642,
pp. 67–83,
doi:10.1007/978-3-642-20920-8_11.
R. Clouston & A. M. Pitts (2007):
Nominal Equational Logic.
ENTCS 172,
pp. 223–257,
doi:10.1016/j.entcs.2010.08.016.
M. Fiore & C-K. Hur (2008):
Term Equational Systems and Logics.
In: MFPS,
ENTCS 218,
pp. 171–192,
doi:10.1016/j.entcs.2008.10.011.
M. J. Gabbay & A. Mathijssen (2006):
One-and-a-halfth-order Logic.
In: PPDP.
ACM,
pp. 189–200,
doi:10.1145/1140335.1140359.
M. J. Gabbay & A. Mathijssen (2009):
Nominal (Universal) Algebra: Equational Logic with Names and Binding.
J. Logic Comput. 19(6),
pp. 1455–1508,
doi:10.1007/s001650200016.
M. J. Gabbay & A. M. Pitts (2002):
A New Approach to Abstract Syntax with Variable Binding.
FAC 13,
pp. 341–363,
doi:10.1016/j.entcs.2008.10.011.
F. W. Lawvere (1963):
Functorial Semantics of Algebraic Theories.
Columbia University.
A. M. Pitts (2001):
Nominal Logic: a First Order Theory of Names and Binding.
LNCS 2215,
pp. 219–242,
doi:10.1007/3-540-45500-0_11.
A. M. Pitts (2006):
Alpha-structural Recursion and Induction.
J. ACM 53,
pp. 459–506,
doi:10.1145/1147954.1147961.
C. Urban, A. M. Pitts & M. J. Gabbay (2004):
Nominal Unification.
TCS 323(1-3),
pp. 473–497,
doi:10.1007/s10817-009-9164-3.