| 2012 | ||
|---|---|---|
| 19 | Andrej Bauer, Thierry Coquand, Giovanni Sambin, Peter M. Schuster: Preface. Ann. Pure Appl. Logic 163(2): 85-86 (2012) | |
| 2011 | ||
| 18 | Andrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin, Silvio Valentini: Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. Calculemus/MKM 2011: 278-280 | |
| 2008 | ||
| 17 | Francesco Ciraulo, Giovanni Sambin: Finitary formal topologies and Stone's representation theorem. Theor. Comput. Sci. 405(1-2): 11-23 (2008) | |
| 2007 | ||
| 16 | Giovanni Sambin: Doing Without Turing Machines: Constructivism and Formal Topology. CiE 2007: 674-675 | |
| 15 | Francesco Ciraulo, Giovanni Sambin: Finiteness in a Minimalist Foundation. TYPES 2007: 51-68 | |
| 2006 | ||
| 14 | Bernhard Banaschewski, Thierry Coquand, Giovanni Sambin: Preface. Ann. Pure Appl. Logic 137(1-3): 1-2 (2006) | |
| 13 | 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 | Giovanni Sambin, Giorgio Trentinaglia: On the Meaning of Positivity Relations for Regular Formal Spaces. J. UCS 11(12): 2056-2062 (2005) | |
| 2003 | ||
| 11 | Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini: Inductively generated formal topologies. Ann. Pure Appl. Logic 124(1-3): 71-106 (2003) | |
| 10 | Giovanni Sambin: Some points in formal topology. Theor. Comput. Sci. 305(1-3): 347-408 (2003) | |
| 2000 | ||
| 9 | Giovanni Sambin: Formal topology and domains. Electr. Notes Theor. Comput. Sci. 35: 177-190 (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 | Giovanni Sambin, Silvia Gebellato: A Preview of the Basic Picture: A New Perspective on Formal Topology. TYPES 1998: 194-207 | |
| 1996 | ||
| 4 | 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) | |
| 1 | Andrea Asperti | [18] |
| 2 | Bernhard Banaschewski | [14] |
| 3 | Giulia Battilotti | [7] [13] |
| 4 | Andrej Bauer | [19] |
| 5 | Francesco Ciraulo | [15] [17] |
| 6 | Claudio Sacerdoti Coen | [18] |
| 7 | Thierry Coquand | [8] [11] [14] [19] |
| 8 | Claudia Faggian | [7] |
| 9 | Silvia Gebellato | [5] |
| 10 | Maria Emilia Maietti | [18] |
| 11 | Sara Sadocco | [8] |
| 12 | Peter Schuster (Peter M. Schuster) | [19] |
| 13 | Jan M. Smith | [8] [11] |
| 14 | Giorgio Trentinaglia | [12] |
| 15 | V. Vaccaro | [1] |
| 16 | Silvio Valentini | [2] [4] [11] [18] |
| 17 | Paolo Virgili | [4] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page