VALENTINI, SILVIO

VALENTINI, SILVIO  

Mostra records
Risultati 1 - 20 di 44 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
A binary modal logic for the intersection types of lambda-calculus 2003 VALENTINI, SILVIO + INFORMATION AND COMPUTATION - -
A cartesian closed category in Martin-Loef's intuitionistic type theory 2003 VALENTINI, SILVIO THEORETICAL COMPUTER SCIENCE - -
A general method to prove the normalization theorem for first and second order typed lambda-calculi 1999 VALENTINI, SILVIO + MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - -
A modal sequent calculus for a fragment of arithmetic 1980 SAMBIN, GIOVANNIVALENTINI, SILVIO STUDIA LOGICA - -
A note on a straightforward proof of normal form theorem for symply typed lambda-calculi 1994 VALENTINI, SILVIO BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. B - -
A proof of the normal form theorem for the closed terms of Girard's System F 1993 VALENTINI, SILVIO MATHEMATICAL LOGIC QUARTERLY - -
A Strong Normalization Condition for Pure Type System 2007 VALENTINI, SILVIO + - - Reflections on Type Theory, Lambda Calculus, and the Mind
A structural investigation on formal topology: coreflection of formal covers and exponentiability 2004 MAIETTI, MARIA EMILIAVALENTINI, SILVIO THE JOURNAL OF SYMBOLIC LOGIC - -
A syntactic proof of cut-elimination for GL_lin 1986 VALENTINI, SILVIO ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK - -
An elementary proof of strong normalization for intersection types 2001 VALENTINI, SILVIO ARCHIVE FOR MATHEMATICAL LOGIC - -
An intuitionistic theory of types with assumptions of high-arity variables 1992 VALENTINI, SILVIO + ANNALS OF PURE AND APPLIED LOGIC - -
An intuitionistic version of Cantor's theorem 1996 VALENTINI, SILVIO + MATHEMATICAL LOGIC QUARTERLY - -
Building up a tool-box for Martin-Loef intuitionistic type theory 1998 VALENTINI, SILVIO + - - TWENTY-FIVE YEARS IN INTUITIONISTIC TYPE THEORY
Building up a toolbox for Martin-Loef's type theory: subset theory 1998 SAMBIN, GIOVANNIVALENTINI, SILVIO - - Twenty-five years of constructive type theory
Can you add power-sets to Martin-Loef intuitionistic set theory? 1999 MAIETTI, MARIA EMILIAVALENTINI, SILVIO MATHEMATICAL LOGIC QUARTERLY - -
Cantor theorem and friends, in logical form 2013 VALENTINI, SILVIO ANNALS OF PURE AND APPLIED LOGIC - -
Constructive characterizations of bar subsets 2007 VALENTINI, SILVIO ANNALS OF PURE AND APPLIED LOGIC - -
Constructive domain theory as a branch of intuitionistic pointfree topology 1996 SAMBIN, GIOVANNIVALENTINI, SILVIO + THEORETICAL COMPUTER SCIENCE - -
Decidability in Intuitionistic Type Theory is functionally decidable 1996 VALENTINI, SILVIO MATHEMATICAL LOGIC QUARTERLY - -
Every countably presented formal topology is spatial, classically 2006 VALENTINI, SILVIO THE JOURNAL OF SYMBOLIC LOGIC - -