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

Citations: | 2 - 1 self |