|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 3 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andrej Bauer, Thierry Coquand, Giovanni Sambin, Peter M. Schuster |
Preface.  |
Ann. Pure Appl. Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin, Silvio Valentini |
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. |
Calculemus/MKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Ciraulo, Giovanni Sambin |
Finitary formal topologies and Stone's representation theorem. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Ciraulo, Giovanni Sambin |
Finiteness in a Minimalist Foundation. |
TYPES |
2007 |
DBLP DOI BibTeX RDF |
minimalist foundation, finite subsets, type theory, constructive mathematics, finite sets |
| 1 | Giovanni Sambin |
Doing Without Turing Machines: Constructivism and Formal Topology. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
minimalist foundation, pointfree topology, formal topology, constructive mathematics |
| 1 | Bernhard Banaschewski, Thierry Coquand, Giovanni Sambin |
Preface. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulia Battilotti, Giovanni Sambin |
Pretopologies and a uniform presentation of sup-lattices, quantales and frames. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Sambin, Giorgio Trentinaglia |
On the Meaning of Positivity Relations for Regular Formal Spaces. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Sambin |
Some points in formal topology. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini |
Inductively generated formal topologies. |
Ann. Pure Appl. Logic |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith |
Formal Topologies on The Set of First-Order Formulae. |
J. Symb. Log. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Sambin, Giulia Battilotti, Claudia Faggian |
Basic Logic: Reflection, Symmetry, Visibility. |
J. Symb. Log. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Sambin |
Formal topology and domains. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Sambin |
Subdirectly Irreducible Modal Algebras and Initial Frames. |
Studia Logica |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Sambin, Silvia Gebellato |
A Preview of the Basic Picture: A New Perspective on Formal Topology. |
TYPES |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Sambin, Silvio Valentini, Paolo Virgili |
Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Sambin |
Pretopologies and Completeness Proofs. |
J. Symb. Log. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Sambin, Silvio Valentini |
Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract). |
Kurt Gödel Colloquium |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Sambin, V. Vaccaro |
A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness. |
J. Symb. Log. |
1989 |
DBLP BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")