Silvio Valentini

	2007
21		Silvio Valentini: Constructive characterizations of bar subsets. Ann. Pure Appl. Logic 145(3): 368-378 (2007)
	2005
20		Silvio Valentini: The problem of the formalization of constructive topology. Arch. Math. Log. 44(1): 115-129 (2005)
	2004
19		Stefano Berardi, Silvio Valentini: Krivine's intuitionistic proof of classical completeness (for countable languages). Ann. Pure Appl. Logic 129(1-3): 93-106 (2004)
18		Maria Emilia Maietti, Silvio Valentini: Exponentiation of Scott Formal Topologies. Electr. Notes Theor. Comput. Sci. 73: 111-131 (2004)
	2003
17		Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini: Inductively generated formal topologies. Ann. Pure Appl. Logic 124(1-3): 71-106 (2003)
16		Silvio Valentini, Matteo Viale: A binary modal logic for the intersection types of lambda-calculus. Inf. Comput. 185(2): 211-232 (2003)
15		Silvio Valentini: A cartesian closed category in Martin-Löf's intuitionistic type theory. Theor. Comput. Sci. 290(1): 189-219 (2003)
	2002
14		Silvio Valentini: On the formal points of the formal topology of the binary tree. Arch. Math. Log. 41(7): 603-618 (2002)
13		Silvio Valentini: Extensionality Versus Constructivity. Math. Log. Q. 48(2): 179-187 (2002)
	2001
12		Silvio Valentini: An elementary proof of strong normalization for intersection types. Arch. Math. Log. 40(7): 475-488 (2001)
	1999
11		Maria Emilia Maietti, Silvio Valentini: Can You Add Power-Sets to Martin-Löf's Intuitionistic Set Theory? Math. Log. Q. 45: 521-532 (1999)
10		Venanzio Capretta, Silvio Valentini: A general method for proving the normalization theorem for first and second order typed lambda-calculi. Mathematical Structures in Computer Science 9(6): 719-739 (1999)
	1997
9		Sara Negri, Silvio Valentini: Tychonoff's Theorem in the Framework of Formal Topologies. J. Symb. Log. 62(4): 1315-1332 (1997)
	1996
8		Silvio Valentini: Decidability in Intuitionistic Type Theory is Functionally Decidable. Math. Log. Q. 42: 300-304 (1996)
7		Dario Maguolo, Silvio Valentini: An Intuitionistic Version of Cantor's Theorem. Math. Log. Q. 42: 446-448 (1996)
6		Giovanni Sambin, Silvio Valentini, Paolo Virgili: Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology. Theor. Comput. Sci. 159(2): 319-341 (1996)
	1994
5		Silvio Valentini: Representation Theorems for Quantales. Math. Log. Q. 40: 182-190 (1994)
	1993
4		Giovanni Sambin, Silvio Valentini: Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract). Kurt Gödel Colloquium 1993: 69-70
3		Ugo Solitro, Silvio Valentini: Local Computation in Linear Logic. Math. Log. Q. 39: 201-212 (1993)
2		Silvio Valentini: A Proof of the Normal Form Theorem for the Closed Terms of Girard's System F by Means of Computability. Math. Log. Q. 39: 539-544 (1993)
	1992
1		Annalisa Bossi, Silvio Valentini: An Intuitionistic Theory of Types with Assumptions of High-Arity Variables. Ann. Pure Appl. Logic 57(2): 93-149 (1992)

Coauthor Index

1	Stefano Berardi	[19]
2	Annalisa Bossi	[1]
3	Venanzio Capretta	[10]
4	Thierry Coquand	[17]
5	Dario Maguolo	[7]
6	Maria Emilia Maietti	[11] [18]
7	Sara Negri	[9]
8	Giovanni Sambin	[4] [6] [17]
9	Jan M. Smith	[17]
10	Ugo Solitro	[3]
11	Matteo Viale	[16]
12	Paolo Virgili	[6]

Colors in the list of coauthors