Giovanni Sambin

	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: (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)

Coauthor Index

1	Bernhard Banaschewski	[14]
2	Giulia Battilotti	[7] [13]
3	Francesco Ciraulo	[15] [17]
4	Thierry Coquand	[8] [11] [14]
5	Claudia Faggian	[7]
6	Silvia Gebellato	[5]
7	Sara Sadocco	[8]
8	Jan M. Smith	[8] [11]
9	Giorgio Trentinaglia	[12]
10	V. Vaccaro	[1]
11	Silvio Valentini	[2] [4] [11]
12	Paolo Virgili	[4]

Colors in the list of coauthors