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

G. Sambin, Formal topology and domains, Electronic Notes in Theoretical Computer Science 35, 2000, pp. 1-14.

G. Sambin - S. Gebellato, A preview of the basic picture: a new perspective on formal topology, Types for Proofs and Programs, International Workshop Types '98, T. Altenkirch, W. Naraschewski, B. Reus eds., Springer LNCS 1657 (1999), pp. 194-207.

G. Sambin, Subdirectly irreducible modal algebras and initial frames, Studia Logica 62 (1999), pp. 269-282.

G. Sambin - S. Valentini, Building up a toolbox for Martin-Löf's type theory: subset theory, in "Twenty-five years of constructive type theory", Proceedings of a congress held in Venice, October 1995, G. Sambin and J. Smith eds., Oxford U. P., 1998, pp. 221-244.

G. Sambin, Matematica, logica, verità, verso un risanamento, in: M. Emmer ed., Matematica e Cultura, Springer Italia 1998, pp. 35-41.

C. Faggian - G. Sambin, From basic logic to quantum logics with cut-elimination, Intern. J. Theoretical Physics 37 (1998), pp. 31-37.

G. Sambin, A new and elementary method to represent every complete boolean algebra, in: Logic and Algebra, eds. A. Ursini and P. Aglianò, New York, Dekker 1996, pp. 655-665.

G. Sambin - S. Valentini - P. Virgili, Constructive domain theory as a branch of intuitionistic pointfree topology, Theoretical Computer Science 159 (1996), pp. 319-341.

Publications, i.e. fruits and... vegs