Now showing items 1-1 of 1
A comparison of two systems of point-free topology
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)
This is a spin-off paper to [3, 4] in which we carried out an extensive analysis of Andrzej Grzegorczyk’s point-free topology from . In  Loredana Biacino and Giangiacomo Gerla presented an axiomatization which was ...