@article{lmcs:4280, title = {The principle of pointfree continuity}, author = {Tatsuji Kawai and Giovanni Sambin}, url = {https://lmcs.episciences.org/4280}, doi = {10.23638/LMCS-15(1:22)2019}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 15, Issue 1}, eid = 22, year = {2019}, month = {Mar}, keywords = {Computer Science - Logic in Computer Science, Mathematics - Logic, 03F55, 06D22}, }