Publications and papers

J.L. Bell and S. Gebellato, Precovers, modalities and universal closure operator in a topos, Mathematical Logic Quarterly 42, 1996, pp. 289-299.
[Abstract]

G. Sambin and S. Gebellato , A preview of the basic picture: a new perspective on formal topology, in: Lecture Notes in Computer Science 1657, eds. T. Altenkirch and W. Naraschewski and B. Reus, 1999, pp. 194-207.
[Abstract]

More recent papers are part  of the project "The basic picture" and, at the moment, are available as preprints or manuscripts:

S. Gebellato and G. Sambin, The essence of continuity, in : G. Sambin, The Basic Picture, preprint n. 08, Dipartimento di Matematica P. e A., Università di Padova, 2003.
[Abstract]

S. Gebellato and G. Sambin, Pointfree continuity and convergence, in: G. Sambin, The Basic Picture, preprint n. 08, Dipartimento di Matematica P. e A., Università di Padova, 2003.
[Abstract]

S. Gebellato and G. Sambin, Invariance under transfer along a relation (the Basic Picture, VIII), manuscript.
[Abstract]