Searching for authors named "Giovanni Sambin" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Some Points in Formal Topology
- …Some points in formal topology Giovanni Sambin Dipartimento di Matematica Pura ed Applicata…
- Cited by 15 (1 self) – Add To MetaCart
-
Subdirectly irreducible modal algebras and initial frames
- …Subdirectly irreducible modal algebras and initial frames Giovanni Sambin Dipartimento di…
- Cited by 6 (0 self) – Add To MetaCart
-
Jeff Conklin jeff@cognexus.org CogNexus Institute http://cognexus.org Designing Organizational Memory Page 34 of 35
- …Formal topology and domains Giovanni Sambin Dipartimento di Matematica Pura e Applicata Università…
- Cited by 1 (0 self) – Add To MetaCart
-
Intuitionistic Formal Spaces
- …INTUITIONISTIC FORMAL SPACES 1 Giovanni Sambin Dipartimento di Matematica P. e A., Universit`a di…
- Cited by 2 (0 self) – Add To MetaCart
-
The essence of continuity (the Basic Picture, II)
- …The essence of continuity (the Basic Picture, II) Silvia Gebellato - Giovanni Sambin Dipartimento…
- Add To MetaCart
-
Basic logic: reflection, symmetry, visibility
- … Basic logic: reflection, symmetry, visibility. Giovanni Sambin - Giulia Battilotti - Claudia…
- Cited by 11 (4 self) – Add To MetaCart
-
From Basic Logic to Quantum Logics With Cut-Elimination
- …From basic logic to quantum logics with cut-elimination Claudia Faggian - Giovanni Sambin…
- Cited by 9 (4 self) – Add To MetaCart
-
Inductively Generated Formal Topologies
- …Inductively generated formal topologies Thierry Coquand y , Giovanni Sambin z , Jan Smith y…
- Cited by 21 (4 self) – Add To MetaCart
-
Pointfree Continuity and Convergence
- …Pointfree continuity and convergence (the Basic Picture, IV) Silvia Gebellato - Giovanni Sambin…
- Add To MetaCart
-
Formal Topologies on the Set of First-Order Formulae
- …Formal Topologies on the Set of First-Order Formulae Thierry Coquand Sara Sadocco Giovanni Sambin…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
