Formal Topologies on The Set of First-Order Formulae. - Thierry Coquand; Sara Sadocco; Giovanni Sambin; Jan M. Smith (J. Symb. Log., 2000)