home | publications ::... 1 | 2 | 3 | 4

The pdf versions available here are often slightly different from the official, published version.

M. E. Maietti - G. Sambin, Toward a minimalist foundation for constructive mathematics, in: From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics" (L. Crosilla, P. Schuster, eds.), Oxford UP, to appear.

G. Battilotti - G. Sambin, Pretopologies and a uniform presentation of sup-lattices, quantales and frames, Annals of Pure and Applied Logic, 2005, to appear.

D. Macedonio - G. Sambin, Relational semantics for basic logic, J. Symbolic Logic, to appear.

G. Sambin, Some points in formal topology, Theoretical Computer Science 305 (2003), pp. 347-408.

T. Coquand - G. Sambin - J. Smith - S. Valentini, Inductively generated formal topologies, Annals of Pure and Applied Logic 124 (2003), pp. 71-106.

G. Sambin, Steps towards a dynamic constructivism, in: In the scope of Logic, Methodology and Philosophy of Science, vol. 1, P. Gärdenfors, J. Wolenski, K. Kijania-Placek eds., Kluwer, Synthese Library 315, 2002, pp. 263-286 (Proc. of the XI International Congress of Logic, Methodology and Philosophy of Science, Krakow, August 1999).

T. Coquand - S. Sadocco - G. Sambin - J. Smith, Formal topologies on the set of first-order formulae, J. Symbolic Logic 65 (2000), pp. 1183-1192.

G. Sambin - G. Battilotti - C. Faggian, Basic logic: reflection, symmetry, visibility, J. Symbolic Logic 65 (2000), pp. 979-1013.