Giovanni Sambin - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2020

Topology as Faithful Communication Through RelationsSamuele Maschio, Giovanni Sambin. FUIN, 176(1):61-78, 2020. [doi]

2019

Reducibility, a constructive dual of spatialityFrancesco Ciraulo, Giovanni Sambin. jla, 11, 2019. [doi]

The principle of pointfree continuityTatsuji Kawai, Giovanni Sambin. lmcs, 15(1), 2019. [doi]

2018

Embedding locales and formal topologies into positive topologiesFrancesco Ciraulo, Giovanni Sambin. AML, 57(7-8):755-768, 2018. [doi]

2016

PrefaceThierry Coquand, Maria Emilia Maietti, Giovanni Sambin, Peter Schuster. APAL, 167(9):725, 2016. [doi]

2013

Editorial: Special issue on non-classical mathematicsLibor Behounek, Greg Restall, Giovanni Sambin. igpl, 21(1):1-3, 2013. [doi]

Convergence in formal topology: a unifying notionFrancesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin. jla, 5, 2013. [doi]

2012

PrefaceAndrej Bauer, Thierry Coquand, Giovanni Sambin, Peter M. Schuster. APAL, 163(2):85-86, 2012. [doi]

A constructive Galois connection between closure and interiorFrancesco Ciraulo, Giovanni Sambin. JSYML, 77(4):1308-1324, 2012. [doi]

Real and Ideal in Constructive MathematicsGiovanni Sambin. In Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm, editors, Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Volume 27 of Logic, Epistemology, and the Unity of Science, pages 69-85, Springer, 2012. [doi]

2011

Formalization of Formal Topology by Means of the Interactive Theorem Prover MatitaAndrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin, Silvio Valentini. mkm 2011: 278-280 [doi]

2008

Finitary formal topologies and Stone s representation theoremFrancesco Ciraulo, Giovanni Sambin. TCS, 405(1-2):11-23, 2008. [doi]

2007

Finiteness in a Minimalist FoundationFrancesco Ciraulo, Giovanni Sambin. TYPES 2008: 51-68 [doi]

Doing Without Turing Machines: Constructivism and Formal TopologyGiovanni Sambin. cie 2007: 674-675 [doi]

2006

PrefaceBernhard Banaschewski, Thierry Coquand, Giovanni Sambin. APAL, 137(1-3):1-2, 2006. [doi]

Pretopologies and a uniform presentation of sup-lattices, quantales and framesGiulia Battilotti, Giovanni Sambin. APAL, 137(1-3):30-61, 2006. [doi]

2005

Toward a minimalistic foundation for constructive mathematicsMaria Emilia Maietti, Giovanni Sambin. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.

On the Meaning of Positivity Relations for Regular Formal SpacesGiovanni Sambin, Giorgio Trentinaglia. jucs, 11(12):2056-2062, 2005. [doi]

2003

Inductively generated formal topologiesThierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini. APAL, 124(1-3):71-106, 2003. [doi]

Some points in formal topologyGiovanni Sambin. TCS, 305(1-3):347-408, 2003. [doi]

2000

Formal Topologies on The Set of First-Order FormulaeThierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith. JSYML, 65(3):1183-1192, 2000.

Formal topology and domainsGiovanni Sambin. ENTCS, 35:177-190, 2000. [doi]

Basic Logic: Reflection, Symmetry, VisibilityGiovanni Sambin, Giulia Battilotti, Claudia Faggian. JSYML, 65(3):979-1013, 2000.

1999

Subdirectly Irreducible Modal Algebras and Initial FramesGiovanni Sambin. sLogica, 62(2):269-282, 1999.

1998

A Preview of the Basic Picture: A New Perspective on Formal TopologyGiovanni Sambin, Silvia Gebellato. TYPES 1999: 194-207 [doi]

1996

Constructive Domain Theory as a Branch of Intuitionistic Pointfree TopologyGiovanni Sambin, Silvio Valentini, Paolo Virgili. TCS, 159(2):319-341, 1996. [doi]

1995

Pretopologies and Completeness ProofsGiovanni Sambin. JSYML, 60(3):861-878, 1995.

1993

Building up a Tool-Box for Matrin-Löf s Type Theory (Abstract)Giovanni Sambin, Silvio Valentini. kgc 1993: 69-70

1991

Provability: the emergence of a mathematical modalityGeorge Boolos, Giovanni Sambin. sLogica, 50(1):1-23, 1991. [doi]

1989

A New Proof of Sahlqvist s Theorem on Modal Definability and CompletenessGiovanni Sambin, V. Vaccaro. JSYML, 54(3):992-999, 1989.

1988

Topology and duality in modal logicGiovanni Sambin, Virginia Vaccaro. APAL, 37(3):249-296, 1988. [doi]

1985

An incomplete system of modal logicGeorge Boolos, Giovanni Sambin. jphil, 14(4):351-358, 1985. [doi]

1982

The modal logic of provability. The sequential approachGiovanni Sambin, Silvio Valentini. jphil, 11(3):311-342, 1982. [doi]

1980

Post Completeness and Free AlgebrasGiovanni Sambin, Silvio Valentini. mlq, 26(22-24):343-347, 1980. [doi]

Sign in or sign up to see more results.

runs on WebDSL