Francesco Ciraulo

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

Coauthor Index

1

Giovanni Sambin

[1] [2]