Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 44
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Extensionality versus Constructivity 2002 VALENTINI, SILVIO MATHEMATICAL LOGIC QUARTERLY - -
An elementary proof of strong normalization for intersection types 2001 VALENTINI, SILVIO ARCHIVE FOR MATHEMATICAL LOGIC - -
A general method to prove the normalization theorem for first and second order typed lambda-calculi 1999 VALENTINI, SILVIO + MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - -
Can you add power-sets to Martin-Loef intuitionistic set theory? 1999 MAIETTI, MARIA EMILIAVALENTINI, SILVIO MATHEMATICAL LOGIC QUARTERLY - -
Building up a toolbox for Martin-Loef's type theory: subset theory 1998 SAMBIN, GIOVANNIVALENTINI, SILVIO - - Twenty-five years of constructive type theory
Building up a tool-box for Martin-Loef intuitionistic type theory 1998 VALENTINI, SILVIO + - - TWENTY-FIVE YEARS IN INTUITIONISTIC TYPE THEORY
The forget-restore principle: a paradigmatic example 1998 VALENTINI, SILVIO - - TWENTY-FIVE YEARS OF CONSTRUCTIVE TYPE THEORY
Tychonoff's theorem in the framework of formal topologies 1997 VALENTINI, SILVIO + THE JOURNAL OF SYMBOLIC LOGIC - -
An intuitionistic version of Cantor's theorem 1996 VALENTINI, SILVIO + MATHEMATICAL LOGIC QUARTERLY - -
Decidability in Intuitionistic Type Theory is functionally decidable 1996 VALENTINI, SILVIO MATHEMATICAL LOGIC QUARTERLY - -
Constructive domain theory as a branch of intuitionistic pointfree topology 1996 SAMBIN, GIOVANNIVALENTINI, SILVIO + THEORETICAL COMPUTER SCIENCE - -
On the decidability of the equality theory of symply typed lambda calculi 1995 VALENTINI, SILVIO BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. B - -
A note on a straightforward proof of normal form theorem for symply typed lambda-calculi 1994 VALENTINI, SILVIO BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. B - -
Representation Theorems for Quantales 1994 VALENTINI, SILVIO MATHEMATICAL LOGIC QUARTERLY - -
A proof of the normal form theorem for the closed terms of Girard's System F 1993 VALENTINI, SILVIO MATHEMATICAL LOGIC QUARTERLY - -
Local computation in linear logic 1993 VALENTINI, SILVIO + MATHEMATICAL LOGIC QUARTERLY - -
The sequent calculus for the modal logic D 1993 VALENTINI, SILVIO BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. B - -
Points and co-points in formal topology 1993 VALENTINI, SILVIO BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. B - -
The judgement calculus for Intuitionistic Linear Logic: proof theory and semantics 1992 VALENTINI, SILVIO ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK - -
An intuitionistic theory of types with assumptions of high-arity variables 1992 VALENTINI, SILVIO + ANNALS OF PURE AND APPLIED LOGIC - -
Mostrati risultati da 21 a 40 di 44
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