Classifying categories for partial equational logic (2003)

by L Schröder
Venue:Category Theory and Computer Science (CTCS02