A. Miranda

Inclusion and Connection in Whitehead ’ s point-free geometry

Giangiacomo Gerla, Annamaria Miranda, Giangiacomo Gerla, 2006 .

Point-free foundation of geometry looking at laboratory activities

Giangiacomo Gerla, Annamaria Miranda, Giangiacomo Gerla, 2020 .

Point-free Foundation of Geometry and Multivalued Logic

Giangiacomo Gerla, Cristina Coppola, Annamaria Miranda, 2010, Notre Dame J. Formal Log..

Mathematical features of Whitehead's point- free geometry

Giangiacomo Gerla, A. Miranda, 2008 .

GRADED INCLUSION AND POINT-FREE GEOMETRY

Giangiacomo Gerla, A. Miranda, 2004 .