Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Edmund Robinson"'
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
Autor:
Edmund Robinson
Publikováno v:
Human Rights Law Review. 23
This article identifies a troubling omission on the part of the European Court of Human Rights, when it considers cases involving the Hague Convention on the Civil Aspects of International Child Abduction. Such cases often involve one parent, who has
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a314e6804f487a3c16fa63cdf08e375
https://doi.org/10.1093/hrlr/ngad011
https://doi.org/10.1093/hrlr/ngad011
Publikováno v:
Studia Logica. 109:313-339
This paper proposes a generalization of the Kripke semantics of intuitionistic logicIL appropriate forintuitionistic Łukasiewicz logicIŁL —a logic in the intersection betweenIL and (classical) Łukasiewicz logic. This generalised Kripke semantics
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c63a40cbc9bcd7f14147ae068a1efc2
https://doi.org/10.1007/s11225-020-09908-z
https://doi.org/10.1007/s11225-020-09908-z
Autor:
Edmund Robinson, Kimberley N. Trapp
Publikováno v:
McGill Law Journal. 63:677-700
Respect for human rights is often understood to be in tension with a robust approach to protecting human security (both within a single state’s territory and across territorial boundaries). Principles like those which form the basis of Fox and Crid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::87ff5be1b3f82a6d2cd5ef15e0048917
https://doi.org/10.7202/1066340ar
https://doi.org/10.7202/1066340ar
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:
Journal of Logic and Computation. 24:283-301
The matrix method, due to Bibel and Andrews, is a proof procedure designed for automated theorem-proving. We show that underlying this method is a fully structured combinatorial model of conventional classical proof theory. © 2012 The Author, 2012.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e86ff620732679a88407e8aa38c14f0
https://doi.org/10.1093/logcom/exs045
https://doi.org/10.1093/logcom/exs045
Autor:
Edmund Robinson
Publikováno v:
Journal of Logic and Computation. 13:777-797
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::14d8de6438fffe586704fe47c1d359fe
https://doi.org/10.1093/logcom/13.5.777
https://doi.org/10.1093/logcom/13.5.777
Autor:
Edmund Robinson
Publikováno v:
Formal Aspects of Computing. 13:308-326
This is a largely tutorial paper about the categorical notion of monad and the ways in which monads on different categories correspond to variations on the standard notion of algebraic theory.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b1e41f41a890f8a6c4e0ebae543ede48
https://doi.org/10.1007/s001650200014
https://doi.org/10.1007/s001650200014
Autor:
John Power, Edmund Robinson
Publikováno v:
MFPS
We study modularity in denotational semantics. We define the notion of a dyad, generalising the notion of monad, and we define the notion of symmetric premonoidal dyad, generalising the notion of strong monad. We show how dyads give rise to semantic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::02cd1bdb7b3ad16bd88aa6ef69d88650