| 2008 |
|---|
| 17 | EE | Francesco Ciraulo,
Giovanni Sambin:
Finitary formal topologies and Stone's representation theorem.
Theor. Comput. Sci. 405(1-2): 11-23 (2008) |
| 2007 |
|---|
| 16 | EE | Giovanni Sambin:
Doing Without Turing Machines: Constructivism and Formal Topology.
CiE 2007: 674-675 |
| 15 | EE | Francesco Ciraulo,
Giovanni Sambin:
Finiteness in a Minimalist Foundation.
TYPES 2007: 51-68 |
| 2006 |
|---|
| 14 | EE | Bernhard Banaschewski,
Thierry Coquand,
Giovanni Sambin:
Preface.
Ann. Pure Appl. Logic 137(1-3): 1-2 (2006) |
| 13 | EE | Giulia Battilotti,
Giovanni Sambin:
Pretopologies and a uniform presentation of sup-lattices, quantales and frames.
Ann. Pure Appl. Logic 137(1-3): 30-61 (2006) |
| 2005 |
|---|
| 12 | EE | Giovanni Sambin,
Giorgio Trentinaglia:
On the Meaning of Positivity Relations for Regular Formal Spaces.
J. UCS 11(12): 2056-2062 (2005) |
| 2003 |
|---|
| 11 | EE | Thierry Coquand,
Giovanni Sambin,
Jan M. Smith,
Silvio Valentini:
Inductively generated formal topologies.
Ann. Pure Appl. Logic 124(1-3): 71-106 (2003) |
| 10 | EE | Giovanni Sambin:
Some points in formal topology.
Theor. Comput. Sci. 305(1-3): 347-408 (2003) |
| 2000 |
|---|
| 9 | EE | Giovanni Sambin:
Formal topology and domains.
Electr. Notes Theor. Comput. Sci. 35: (2000) |
| 8 | | Thierry Coquand,
Sara Sadocco,
Giovanni Sambin,
Jan M. Smith:
Formal Topologies on The Set of First-Order Formulae.
J. Symb. Log. 65(3): 1183-1192 (2000) |
| 7 | | Giovanni Sambin,
Giulia Battilotti,
Claudia Faggian:
Basic Logic: Reflection, Symmetry, Visibility.
J. Symb. Log. 65(3): 979-1013 (2000) |
| 1999 |
|---|
| 6 | | Giovanni Sambin:
Subdirectly Irreducible Modal Algebras and Initial Frames.
Studia Logica 62(2): 269-282 (1999) |
| 1998 |
|---|
| 5 | EE | Giovanni Sambin,
Silvia Gebellato:
A Preview of the Basic Picture: A New Perspective on Formal Topology.
TYPES 1998: 194-207 |
| 1996 |
|---|
| 4 | EE | Giovanni Sambin,
Silvio Valentini,
Paolo Virgili:
Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology.
Theor. Comput. Sci. 159(2): 319-341 (1996) |
| 1995 |
|---|
| 3 | | Giovanni Sambin:
Pretopologies and Completeness Proofs.
J. Symb. Log. 60(3): 861-878 (1995) |
| 1993 |
|---|
| 2 | | Giovanni Sambin,
Silvio Valentini:
Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract).
Kurt Gödel Colloquium 1993: 69-70 |
| 1989 |
|---|
| 1 | | Giovanni Sambin,
V. Vaccaro:
A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness.
J. Symb. Log. 54(3): 992-999 (1989) |
