Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Anna Bucalo"'
Autor:
Giuseppe Rosolini, Anna Bucalo
Publikováno v:
Annals of Pure and Applied Logic. 137:104-125
We analyse the category-theoretical structures involved with the notion of continuity within the framework of formal topology. We compare the category of basic pairs to other categories of “spaces” by means of canonically determined functors and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::566e63dfcaa9bb01ea2f72b27e78848e
https://doi.org/10.1016/j.apal.2005.05.029
https://doi.org/10.1016/j.apal.2005.05.029
Autor:
Giuseppe Rosolini, Anna Bucalo
The category of equilogical spaces, as well as the exact completions of the category of T"0-spaces and of the category of topological spaces, offers locally cartesian closed extensions of the category of topological spaces. Hence in any one of such c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::68ef523a1c353aa3d5c0d74e3f977874
http://hdl.handle.net/11567/585327
http://hdl.handle.net/11567/585327
Autor:
Anna Bucalo, Giuseppe Rosolini
The standard presentation of topological spaces relies heavily on (naive) set theory: a topology consists of a set of subsets of a set (of points). And many of the high-level tools of set theory are required to achieve just the basic results about to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee283426eae7bbf802d8e8468b02eaa7
http://hdl.handle.net/11567/593341
http://hdl.handle.net/11567/593341
Autor:
Anna Bucalo
Publikováno v:
Journal of Logic, Language and Information. 3:211-232
We present a semantic study of a family of modal intuitionistic linear systems, providing various logics with both an algebraic semantics and a relational semantics, to obtain completeness results. We call modality a unary operator □ on formulas wh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::328424eae1eaf3911e0e76dca7bb75ba
https://doi.org/10.1007/bf01053246
https://doi.org/10.1007/bf01053246
Publikováno v:
CTCS
We introduce the notion of an “equational lifting monad” : a commutative strong monad satisfying one additional equation (valid for monads arising from partial map classifiers). We prove that any equational lifting monad has a representation by a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d5572e9bca41610846717dfc3ec50135
Autor:
Anna Bucalo, Giuseppe Rosolini
We give a new categorical definition of the associated sheaf functor for a Lawvere-Tierney topology in a topos. Although the existence of such a functor is well known, the construction presented here does not resemble any other in the literature and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a80071e7ff199129a8457e0c579d3777
http://hdl.handle.net/11567/190839
http://hdl.handle.net/11567/190839
Autor:
Anna Bucalo, Giuseppe Rosolini
Publikováno v:
Category Theory and Computer Science ISBN: 9783540634553
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9c71c33cee93b1a9ee61f753639352bf
https://doi.org/10.1007/bfb0026994
https://doi.org/10.1007/bfb0026994
Autor:
Anna Bucalo, Fabio Bellissima
Publikováno v:
Notre Dame J. Formal Logic 36, no. 4 (1995), 585-594
A new concept of model for the US-tense logic is introduced, in which ternary relations of betweenness are adjoined to the usual early-later relation. The class of these new models, which contains the class of Kripke models, satisfies, contrary to th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::825d7c87d624a8304ec1f79b58000ee7
http://hdl.handle.net/11365/16357
http://hdl.handle.net/11365/16357
Publikováno v:
Journal of Functional Programming. 16:327
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher Order Abstract Syntax. In this paper, we prove that this theory is consistent b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8929ba6862017de7049a7615b6688414
https://doi.org/10.1017/s0956796806005892
https://doi.org/10.1017/s0956796806005892
Publikováno v:
Journal of Functional Programming; May2006, Vol. 16 Issue 3, p327-395, 69p