Some varieties of equational logic (extended abstract (2006)

by G Plotkin
Venue:In Algebra, Meaning and Computation, LCNS 4060