Francesco Ciraulo

	2008
3		Francesco Ciraulo: A constructive semantics for non-deducibility. Math. Log. Q. 54(1): 35-48 (2008)
2		Francesco Ciraulo, Giovanni Sambin: Finitary formal topologies and Stone's representation theorem. Theor. Comput. Sci. 405(1-2): 11-23 (2008)
	2007
1		Francesco Ciraulo, Giovanni Sambin: Finiteness in a Minimalist Foundation. TYPES 2007: 51-68

Coauthor Index

1

Giovanni Sambin

[1] [2]