Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Francesco
Last name:	Ciraulo
DBLP:	08/2707
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 3 of 3  

Select a publication
Show	Title	Venue	Rating	Date
	Francesco Ciraulo. A constructive semantics for non-deducibility.	Math. Log. Q. 2008, Volume 54	(0)	2008
	Francesco Ciraulo, Giovanni Sambin. Finitary formal topologies and Stone's representation theorem.	Theor. Comput. Sci. 2008, Volume 405	(0)	2008
	Francesco Ciraulo, Giovanni Sambin. Finiteness in a Minimalist Foundation.	Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers 2008	(0)	2007

Your query returned 3 matches in the database.