Sfoglia per Autore 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
Relative formal topology, namely, the binary positivity predicate comes first
2012 Valentini, Silvio
OBJECTS A Study in Kantian Formal Epistemology
2012 Valentini, Silvio; Boniolo, G.
Independence results in formal topology
2012 Valentini, Silvio
Spatiality and classical logic
2011 Stefanova, M; 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
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
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 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
A binary modal logic for the intersection types of lambda-calculus
2003 Valentini, Silvio; Viale, M.
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