Fundamenta Informaticae > 2007 > Vol. 76, nr 1-2 > 129-145
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] P. Alexandroff, Diskrete Räume, Matematiˇceskij Sbornik N. S. 2 (1937) 501-518. In German.
-
[2] C. Areces, R. Bernardi,M.Moortgat, Galois connections in categorial type logic, in: Proceedings of FGMOL '01, volume 47 of Electronic Notes in Theoretical Computer Science (2001).
-
[3] G. Birkhoff, Rings of sets, Duke Mathematical Journal 3 (1937) 443-454.