Constructing Free Boolean Categories

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.13 ◽

2006 ◽

Cited By ~ 2

Author(s):

F. Lamarche ◽

L. Strassburger

Download Full-text