Constructing free boolean categories (2005)

by François Lamarche, Lutz Straßburger
Venue:In Prakash Panangaden, editor, 20th Annual IEEE Symposium on Logic in Computer Science