Sfoglia per Autore
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
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita
2011 Asperti, A.; Maietti, MARIA EMILIA; SACERDOTI COEN, C.; Sambin, Giovanni; Valentini, Silvio
Spatiality and classical logic
2011 Stefanova, M; Valentini, Silvio
General Recursion and Formal Topology
2010 SACERDOTI COEN, C; Valentini, Silvio
Vagueness, Kant and Topology
2008 Boniolo, G; Valentini, Silvio
A Strong Normalization Condition for Pure Type System
2007 Stefanova, M; 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
Exponentiation of Scott formal topologies
2004 Maietti, MARIA EMILIA; Valentini, Silvio
Krivine's intuitionistic proof of classical completeness (for countable languages)
2004 Berardi, S.; Valentini, Silvio
A structural investigation on formal topology: coreflection of formal covers and exponentiability
2004 Maietti, MARIA EMILIA; Valentini, Silvio
A cartesian closed category in Martin-Loef's intuitionistic type theory
2003 Valentini, Silvio
A binary modal logic for the intersection types of lambda-calculus
2003 Valentini, Silvio; Viale, M.
Inductively generated formal topologies
2003 Coquand, T.; Sambin, Giovanni; Smith, J.; Valentini, Silvio
On the formal points of the formal topology of the binary tree
2002 Valentini, Silvio
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile