Silvio Valentini

According to our database, Silvio Valentini authored at least 39 papers between 1980 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Generalising the fan theorem.

Silvio Valentini

Math. Log. Q., 2017

2015

A theoretical framework for studying the electromagnetic stimulation of nervous tissue.

Dino Accoto, Silvio Valentini, Iacopo Portaccio, Eugenio Guglielmelli

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

2013

Cantor theorem and friends, in logical form.

Silvio Valentini

Ann. Pure Appl. Log., 2013

2012

Objects: A Study in Kantian Formal Epistemology.

Giovanni Boniolo, Silvio Valentini

Notre Dame J. Formal Log., 2012

Relative formal topology: the binary positivity predicate comes first.

Silvio Valentini

Math. Struct. Comput. Sci., 2012

Independence results in formal topology.

Silvio Valentini

Ann. Pure Appl. Log., 2012

2011

Spatiality and classical logic.

Milena Stefanova, Silvio Valentini

Math. Log. Q., 2011

Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita.

Andrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin, Silvio Valentini

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

General Recursion and Formal Topology

Claudio Sacerdoti Coen, Silvio Valentini

Proceedings of the Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, 2010

2008

Vagueness, Kant and Topology: a Study of Formal Epistemology.

Giovanni Boniolo, Silvio Valentini

J. Philos. Log., 2008

2007

Constructive characterizations of bar subsets.

Silvio Valentini

Ann. Pure Appl. Log., 2007

2006

Every countably presented formal topology is spatial, classically.

Silvio Valentini

J. Symb. Log., 2006

2005

The problem of the formalization of constructive topology.

Silvio Valentini

Arch. Math. Log., 2005

2004

A structural investigation on formal topology: coreflection of formal covers and exponentiability.

Maria Emilia Maietti, Silvio Valentini

J. Symb. Log., 2004

Krivine's intuitionistic proof of classical completeness (for countable languages).

Stefano Berardi, Silvio Valentini

Ann. Pure Appl. Log., 2004

2003

A cartesian closed category in Martin-Löf's intuitionistic type theory.

Silvio Valentini

Theor. Comput. Sci., 2003

A binary modal logic for the intersection types of lambda-calculus.

Silvio Valentini, Matteo Viale

Inf. Comput., 2003

Inductively generated formal topologies.

Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini

Ann. Pure Appl. Log., 2003

2002

Extensionality Versus Constructivity.

Silvio Valentini

Math. Log. Q., 2002

Exponentiation of Scott Formal Topologies.

Maria Emilia Maietti, Silvio Valentini

Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, 2002

On the formal points of the formal topology of the binary tree.

Silvio Valentini

Arch. Math. Log., 2002

2001

An elementary proof of strong normalization for intersection types.

Silvio Valentini

Arch. Math. Log., 2001

1999

A general method for proving the normalization theorem for first and second order typed lambda-calculi.

Venanzio Capretta, Silvio Valentini

Math. Struct. Comput. Sci., 1999

Can You Add Power-Sets to Martin-Löf's Intuitionistic Set Theory?

Maria Emilia Maietti, Silvio Valentini

Math. Log. Q., 1999

1997

Tychonoff's Theorem in the Framework of Formal Topologies.

Sara Negri, Silvio Valentini

J. Symb. Log., 1997

1996

Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology.

Giovanni Sambin, Silvio Valentini, Paolo Virgili

Theor. Comput. Sci., 1996

Decidability in Intuitionistic Type Theory is Functionally Decidable.

Silvio Valentini

Math. Log. Q., 1996

An Intuitionistic Version of Cantor's Theorem.

Dario Maguolo, Silvio Valentini

Math. Log. Q., 1996

1994

Representation Theorems for Quantales.

Silvio Valentini

Math. Log. Q., 1994

1993

A Proof of the Normal Form Theorem for the Closed Terms of Girard's System <i>F</i> by Means of Computability.

Silvio Valentini

Math. Log. Q., 1993

Local Computation in Linear Logic.

Ugo Solitro, Silvio Valentini

Math. Log. Q., 1993

Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract).

Giovanni Sambin, Silvio Valentini

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1992

The Judgement Calculus for Intuitionistic Linear Logic: Proof Theory and Semantics.

Silvio Valentini

Math. Log. Q., 1992

An Intuitionistic Theory of Types with Assumptions of High-Arity Variables.

Annalisa Bossi, Silvio Valentini

Ann. Pure Appl. Log., 1992

1986

A Syntactic Proof of Cut-Elimination For GL_lin.

Silvio Valentini

Math. Log. Q., 1986

1983

The Modal Logic of Consistency Assertions of Peano Arithmetic.

Silvio Valentini

Math. Log. Q., 1983

The modal logic of provability: Cut-elimination.

Silvio Valentini

J. Philos. Log., 1983

1982

The modal logic of provability. The sequential approach.

Giovanni Sambin, Silvio Valentini

J. Philos. Log., 1982

1980

Post Completeness and Free Algebras.

Giovanni Sambin, Silvio Valentini

Math. Log. Q., 1980