Santocanale, Luigi
-
BRICS Report Series No. 28 (2000): RS-28 Free mu-lattices - Articles
Free mu-lattices
Abstract PDF -
BRICS Report Series No. 29 (2000): RS-29 The Alternation Hierarchy for the Theory of u-lattices - Articles
The Alternation Hierarchy for the Theory of mu-lattices
Abstract PDF -
BRICS Report Series No. 15 (2001): RS-15 A Calculus of Circular Proofs and its Categorical Semantics - Articles
A Calculus of Circular Proofs and its Categorical Semantics
Abstract PDF