Sfoglia per Autore
Extensionality versus Constructivity
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
Building up a toolbox for Martin-Loef's type theory: subset theory
1998 Sambin, Giovanni; Valentini, Silvio
Building up a tool-box for Martin-Loef intuitionistic type theory
1998 G., Sambin; Valentini, Silvio
The forget-restore principle: a paradigmatic example
1998 Valentini, Silvio
Tychonoff's theorem in the framework of formal topologies
1997 Negri, S.; Valentini, Silvio
An intuitionistic version of Cantor's theorem
1996 D., Maguolo; Valentini, Silvio
Decidability in Intuitionistic Type Theory is functionally decidable
1996 Valentini, Silvio
Constructive domain theory as a branch of intuitionistic pointfree topology
1996 Sambin, Giovanni; Valentini, Silvio; Virgili, P.
On the decidability of the equality theory of symply typed lambda calculi
1995 Valentini, Silvio
A note on a straightforward proof of normal form theorem for symply typed lambda-calculi
1994 Valentini, Silvio
Representation Theorems for Quantales
1994 Valentini, Silvio
A proof of the normal form theorem for the closed terms of Girard's System F
1993 Valentini, Silvio
Local computation in linear logic
1993 Solitro, U.; Valentini, Silvio
The sequent calculus for the modal logic D
1993 Valentini, Silvio
Points and co-points in formal topology
1993 Valentini, Silvio
The judgement calculus for Intuitionistic Linear Logic: proof theory and semantics
1992 Valentini, Silvio
An intuitionistic theory of types with assumptions of high-arity variables
1992 Bossi, A.; 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