Search results for "Silvio Valentini"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Silvio Valentini	Independence results in formal topology.	Ann. Pure Appl. Logic	2012	DBLP DOI BibTeX RDF
1	Milena Stefanova, Silvio Valentini	Spatiality and classical logic.	Math. Log. Q.	2011	DBLP DOI BibTeX RDF
1	Andrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin, Silvio Valentini	Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita.	Calculemus/MKM	2011	DBLP DOI BibTeX RDF
1	Claudio Sacerdoti Coen, Silvio Valentini	General Recursion and Formal Topology	PAR	2010	DBLP DOI BibTeX RDF
1	Giovanni Boniolo, Silvio Valentini	Vagueness, Kant and Topology: a Study of Formal Epistemology.	J. Philosophical Logic	2008	DBLP DOI BibTeX RDF
1	Silvio Valentini	Constructive characterizations of bar subsets.	Ann. Pure Appl. Logic	2007	DBLP DOI BibTeX RDF
1	Silvio Valentini	Every countably presented formal topology is spatial, classically.	J. Symb. Log.	2006	DBLP BibTeX RDF
1	Silvio Valentini	The problem of the formalization of constructive topology.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
1	Maria Emilia Maietti, Silvio Valentini	A structural investigation on formal topology: coreflection of formal covers and exponentiability.	J. Symb. Log.	2004	DBLP BibTeX RDF
1	Maria Emilia Maietti, Silvio Valentini	Exponentiation of Scott Formal Topologies.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Stefano Berardi, Silvio Valentini	Krivine's intuitionistic proof of classical completeness (for countable languages).	Ann. Pure Appl. Logic	2004	DBLP DOI BibTeX RDF
1	Silvio Valentini	A cartesian closed category in Martin-Löf's intuitionistic type theory.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Silvio Valentini, Matteo Viale	A binary modal logic for the intersection types of lambda-calculus.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
1	Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini	Inductively generated formal topologies.	Ann. Pure Appl. Logic	2003	DBLP DOI BibTeX RDF
1	Silvio Valentini	Extensionality Versus Constructivity.	Math. Log. Q.	2002	DBLP DOI BibTeX RDF
1	Silvio Valentini	On the formal points of the formal topology of the binary tree.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
1	Silvio Valentini	An elementary proof of strong normalization for intersection types.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Normalization, Lambda calculus, Intersection types
1	Maria Emilia Maietti, Silvio Valentini	Can You Add Power-Sets to Martin-Löf's Intuitionistic Set Theory?	Math. Log. Q.	1999	DBLP BibTeX RDF
1	Venanzio Capretta, Silvio Valentini	A general method for proving the normalization theorem for first and second order typed lambda-calculi.	Mathematical Structures in Computer Science	1999	DBLP BibTeX RDF
1	Sara Negri, Silvio Valentini	Tychonoff's Theorem in the Framework of Formal Topologies.	J. Symb. Log.	1997	DBLP BibTeX RDF
1	Dario Maguolo, Silvio Valentini	An Intuitionistic Version of Cantor's Theorem.	Math. Log. Q.	1996	DBLP BibTeX RDF
1	Silvio Valentini	Decidability in Intuitionistic Type Theory is Functionally Decidable.	Math. Log. Q.	1996	DBLP BibTeX RDF
1	Giovanni Sambin, Silvio Valentini, Paolo Virgili	Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
1	Silvio Valentini	Representation Theorems for Quantales.	Math. Log. Q.	1994	DBLP BibTeX RDF
1	Ugo Solitro, Silvio Valentini	Local Computation in Linear Logic.	Math. Log. Q.	1993	DBLP BibTeX RDF
1	Silvio Valentini	A Proof of the Normal Form Theorem for the Closed Terms of Girard's System F by Means of Computability.	Math. Log. Q.	1993	DBLP BibTeX RDF
1	Giovanni Sambin, Silvio Valentini	Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract).	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
1	Annalisa Bossi, Silvio Valentini	An Intuitionistic Theory of Types with Assumptions of High-Arity Variables.	Ann. Pure Appl. Logic	1992	DBLP DOI BibTeX RDF

Publications of "Silvio Valentini" ( http://dblp.L3S.de/Authors/Silvio_Valentini )