2 search results - page 1 / 1 » Closures in Formal Languages and Kuratowski's Theorem |
DLT
2009
13 years 2 months ago
2009
A famous theorem of Kuratowski states that, in a topological space, at most 14 distinct sets can be produced by repeatedly applying the operations of closure and complement to a gi...
ECOOP
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...