Silvio Valentini

40 papers Journal 34Unranked 6
YearRankTypeTitle / Venue / Authors
2017 J jnl
Generalising the fan theorem.
Math. Log. Q.
Silvio Valentini
2015 — conf
A theoretical framework for studying the electromagnetic stimulation of nervous tissue.
EMBC
Dino Accoto, Silvio Valentini, Iacopo Portaccio, Eugenio Guglielmelli
2013 J jnl
Cantor theorem and friends, in logical form.
Ann. Pure Appl. Log.
Silvio Valentini
2012 J jnl
Independence results in formal topology.
Ann. Pure Appl. Log.
Silvio Valentini
2012 J jnl
Objects: A Study in Kantian Formal Epistemology.
Notre Dame J. Formal Log.
Giovanni Boniolo, Silvio Valentini
2012 J jnl
Relative formal topology: the binary positivity predicate comes first.
Math. Struct. Comput. Sci.
Silvio Valentini
2011 — conf
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita.
Calculemus/MKM
Andrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin, Silvio Valentini
2011 J jnl
Spatiality and classical logic.
Math. Log. Q.
Milena Stefanova, Silvio Valentini
2010 — conf
General Recursion and Formal Topology
PAR
Claudio Sacerdoti Coen, Silvio Valentini
2010 — conf
General Recursion and Formal Topology.
PAR@ITP
Claudio Sacerdoti Coen, Silvio Valentini
2008 J jnl
Vagueness, Kant and Topology: a Study of Formal Epistemology.
J. Philos. Log.
Giovanni Boniolo, Silvio Valentini
2007 J jnl
Constructive characterizations of bar subsets.
Ann. Pure Appl. Log.
Silvio Valentini
2006 J jnl
Every countably presented formal topology is spatial, classically.
J. Symb. Log.
Silvio Valentini
2005 J jnl
The problem of the formalization of constructive topology.
Arch. Math. Log.
Silvio Valentini
2004 J jnl
A structural investigation on formal topology: coreflection of formal covers and exponentiability.
J. Symb. Log.
Maria Emilia Maietti, Silvio Valentini
2004 J jnl
Krivine's intuitionistic proof of classical completeness (for countable languages).
Ann. Pure Appl. Log.
Stefano Berardi, Silvio Valentini
2003 J jnl
A binary modal logic for the intersection types of lambda-calculus.
Inf. Comput.
Silvio Valentini, Matteo Viale
2003 J jnl
A cartesian closed category in Martin-Löf's intuitionistic type theory.
Theor. Comput. Sci.
Silvio Valentini
2003 J jnl
Inductively generated formal topologies.
Ann. Pure Appl. Log.
Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini
2002 — conf
Exponentiation of Scott Formal Topologies.
Workshop on Domains
Maria Emilia Maietti, Silvio Valentini
2002 J jnl
Extensionality Versus Constructivity.
Math. Log. Q.
Silvio Valentini
2002 J jnl
On the formal points of the formal topology of the binary tree.
Arch. Math. Log.
Silvio Valentini
2001 J jnl
An elementary proof of strong normalization for intersection types.
Arch. Math. Log.
Silvio Valentini
1999 J jnl
A general method for proving the normalization theorem for first and second order typed lambda-calculi.
Math. Struct. Comput. Sci.
Venanzio Capretta, Silvio Valentini
1999 J jnl
Can You Add Power-Sets to Martin-Löf's Intuitionistic Set Theory?
Math. Log. Q.
Maria Emilia Maietti, Silvio Valentini
1997 J jnl
Tychonoff's Theorem in the Framework of Formal Topologies.
J. Symb. Log.
Sara Negri, Silvio Valentini
1996 J jnl
An Intuitionistic Version of Cantor's Theorem.
Math. Log. Q.
Dario Maguolo, Silvio Valentini
1996 J jnl
Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology.
Theor. Comput. Sci.
Giovanni Sambin, Silvio Valentini, Paolo Virgili
1996 J jnl
Decidability in Intuitionistic Type Theory is Functionally Decidable.
Math. Log. Q.
Silvio Valentini
1994 J jnl
Representation Theorems for Quantales.
Math. Log. Q.
Silvio Valentini
1993 J jnl
A Proof of the Normal Form Theorem for the Closed Terms of Girard's System
Math. Log. Q.
Silvio Valentini
1993 — conf
Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract).
Kurt Gödel Colloquium
Giovanni Sambin, Silvio Valentini
1993 J jnl
Local Computation in Linear Logic.
Math. Log. Q.
Ugo Solitro, Silvio Valentini
1992 J jnl
An Intuitionistic Theory of Types with Assumptions of High-Arity Variables.
Ann. Pure Appl. Log.
Annalisa Bossi, Silvio Valentini
1992 J jnl
The Judgement Calculus for Intuitionistic Linear Logic: Proof Theory and Semantics.
Math. Log. Q.
Silvio Valentini
1986 J jnl
A Syntactic Proof of Cut-Elimination For GL
Math. Log. Q.
Silvio Valentini
1983 J jnl
The Modal Logic of Consistency Assertions of Peano Arithmetic.
Math. Log. Q.
Silvio Valentini
1983 J jnl
The modal logic of provability: Cut-elimination.
J. Philos. Log.
Silvio Valentini
1982 J jnl
The modal logic of provability. The sequential approach.
J. Philos. Log.
Giovanni Sambin, Silvio Valentini
1980 J jnl
Post Completeness and Free Algebras.
Math. Log. Q.
Giovanni Sambin, Silvio Valentini