Annamaria Miranda

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..

Lightly chaotic functional envelopes

Annamaria Miranda, 2021 .

Inclusion and Connection in Whitehead ’ s point-free geometry

Giangiacomo Gerla, Annamaria Miranda, Giangiacomo Gerla, 2006 .