Some varieties of equational logic

2006

Gordon Plotkin

in: Algebra, meaning, and computation, Berlin,