VALENTINI, SILVIO
VALENTINI, SILVIO
Cantor theorem and friends, in logical form
2013 Valentini, Silvio
Il teorema di Arrow: un punto di vista logico
2012 A., Montino; Valentini, Silvio
Independence results in formal topology
2012 Valentini, Silvio
OBJECTS A Study in Kantian Formal Epistemology
2012 Valentini, Silvio; Boniolo, G.
Relative formal topology, namely, the binary positivity predicate comes first
2012 Valentini, Silvio
Spatiality and classical logic
2011 Stefanova, M; Valentini, Silvio
Vagueness, Kant and Topology
2008 Boniolo, G; Valentini, Silvio
Constructive characterizations of bar subsets
2007 Valentini, Silvio
Every countably presented formal topology is spatial, classically
2006 Valentini, Silvio
The problem of the formalization of constructive topology
2005 Valentini, Silvio
A structural investigation on formal topology: coreflection of formal covers and exponentiability
2004 Maietti, MARIA EMILIA; Valentini, Silvio
Krivine's intuitionistic proof of classical completeness (for countable languages)
2004 Berardi, S.; Valentini, Silvio
A binary modal logic for the intersection types of lambda-calculus
2003 Valentini, Silvio; Viale, M.
A cartesian closed category in Martin-Loef's intuitionistic type theory
2003 Valentini, Silvio
Inductively generated formal topologies
2003 Coquand, T.; Sambin, Giovanni; Smith, J.; Valentini, Silvio
Extensionality versus Constructivity
2002 Valentini, Silvio
On the formal points of the formal topology of the binary tree
2002 Valentini, Silvio
An elementary proof of strong normalization for intersection types
2001 Valentini, Silvio
A general method to prove the normalization theorem for first and second order typed lambda-calculi
1999 Capretta, V.; Valentini, Silvio
Can you add power-sets to Martin-Loef intuitionistic set theory?
1999 Maietti, MARIA EMILIA; Valentini, Silvio