Classifying categories for partial equational logic (2003)

by L Schroder
Venue:In Category Theory and Computer Science