Constructing free Boolean categories (2005)

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