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: | 1 - 1 self |
Document Versions
| Formal Topologies on the Set of First-Order Formulae –Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith — 1998 — Journal of Symbolic Logic |
