Thierry Coquand Sara Sadocco Giovanni Sambin Jan M. Smith Formal Topologies on The Set of First-Order Formulae. 1183-1192 2000 65 J. Symb. Log. 3 db/journals/jsyml/jsyml65.html#CoquandSSS00