Formal Topologies on the Set of First-Order Formulae (1998)

by Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith
Venue:Journal of Symbolic Logic