Giovanni Sambin

	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)

Coauthor Index

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