of institution-independent model theory, Algebra, meaning and computation (Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday (2006)

by Jewels
Venue:Lecture Notes in Computer Science