I am looking for information about work on the representation of topological properties (esp. connectedness) using intuitionistic logic. I presently know about definitions of connectedness in "Sheaves and Logic" (Fourman-Scott 79) and "Formal spaces" (Fourman-Grayson 82). I would be interested in knowing whether there has been more work, esp. whether there is something that may have some relation with discrete geometry. Thank you for your help, Paolo -- Paolo Torrini School of Computing Leeds 0113 233 5684