Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Claudio Hermida"'
Publikováno v:
Mathematical Structures in Computer Science. 32:442-471
We investigate how various forms of bisimulation can be characterised using the technology of logical relations. The approach taken is that each form of bisimulation corresponds to an algebraic structure derived from a transition system, and the gene
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8d3b10d574fee004969c82ff355ff1f0
https://doi.org/10.1017/s0960129522000020
https://doi.org/10.1017/s0960129522000020
Publikováno v:
MFPS
This paper extends the results of Hermida's thesis about logical predicates to more general logical relations and a wider collection of types. The extension of type constructors from types to logical relations is derived from an interpretation of tho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5fc1bcc398c6ffc18dbe794a64a31f62
https://doi.org/10.1016/j.entcs.2019.09.013
https://doi.org/10.1016/j.entcs.2019.09.013
Publikováno v:
Electronic Notes in Theoretical Computer Science. 303:149-180
In his seminal paper on “Types, Abstraction and Parametric Polymorphism,” John Reynolds called for homomorphisms to be generalized from functions to relations. He reasoned that such a generalization would allow type-based “abstraction” (repre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e43b7039469100daac1d661ca8ea5b77
https://doi.org/10.1016/j.entcs.2014.02.008
https://doi.org/10.1016/j.entcs.2014.02.008
Publikováno v:
Theoretical Computer Science. 492:117-122
In this addendum, we correct some typos and fill a gap in the proof of Theorem 21 of [F. van Breugel, C. Hermida, M. Makkai, J. Worrell. Recursively defined metric spaces without contraction. Theoretical Computer Science 380 (1/2) (2007) 143–163].
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::39584574a0a2f4db7eeb0767653d4d92
https://doi.org/10.1016/j.tcs.2013.05.003
https://doi.org/10.1016/j.tcs.2013.05.003
Autor:
Robert D. Tennent, Claudio Hermida
Publikováno v:
MFPS
Given any symmetric monoidal category C, a small symmetric monoidal category @S and a strong monoidal functor j:@S->C, we construct C[x:j@S], the polynomial category with a system of (freely adjoined) monoidal indeterminates x:I->j(w), natural in w@?
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::767ddac250ebda2db8ed0451c5fba405
Autor:
Claudio Hermida
Publikováno v:
Information and Computation. 209(12):1505-1517
We characterise bicategories of spans, relations and partial maps universally in terms of factorisations involving maps. We apply this characterisation to show that the standard modalities □ and ⋄ arise canonically as extensions of a predicate lo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f946ff2e8b90fe8a87781f9b5e5676e3
Publikováno v:
Theoretical Computer Science. 380(1-2):143-163
In this paper we use the theory of accessible categories to find fixed points of endofunctors on the category of 1-bounded complete metric spaces and nonexpansive functions. In contrast to previous approaches, we do not assume that the endofunctors a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2fa51852a9100ee2ff43ec30873fab26
Autor:
Robert D. Tennent, Claudio Hermida
Publikováno v:
Theoretical Computer Science. 375(1-3):3-19
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c598ea5d6c04b068d15f4e72a88abdf5
Autor:
Claudio Hermida
Publikováno v:
Applied Categorical Structures. 12:427-459
We consider pseudo-descent in the context of 2-fibrations. A 2-category of descent data is associated to a 3-truncated simplicial object in the base 2-category. A morphism q in the base induces (via comma-objects and pullbacks) an internal category w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7fdae99c72be2fb9996a23f3080f1237
https://doi.org/10.1023/b:apcs.0000049311.17100.da
https://doi.org/10.1023/b:apcs.0000049311.17100.da
Autor:
Claudio Hermida
Publikováno v:
Galois Theory, Hopf Algebras, and Semiabelian Categories. :281-293
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1df9106f7e43c0a864dffa4dadc46444
https://doi.org/10.1090/fic/043/11
https://doi.org/10.1090/fic/043/11