Murdoch Gabbay
Heriot-Watt University
H-index: 28
Europe-United Kingdom
Top articles of Murdoch Gabbay
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Semitopology: distributed collaborative action via topology, algebra, and logic | arXiv preprint arXiv:2402.03253 | Murdoch J Gabbay Giuliano Losa | 2024/1/16 |
Semiframes: algebras of heterogeneous consensus | arXiv preprint arXiv:2310.00956 | Murdoch Gabbay Giuliano Losa | 2023/10/2 |
Semitopology: a new topological model of heterogeneous consensus | arXiv preprint arXiv:2303.09287 | Murdoch Gabbay Giuliano Losa | 2023/3/16 |
Permissive-Nominal Logic (journal version) | arXiv preprint arXiv:2312.16480 | Gilles Dowek Murdoch J Gabbay | 2023/12/27 |
Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits | arXiv preprint arXiv:2312.16487 | Gilles Dowek Murdoch J Gabbay | 2023/12/27 |
Algebras of UTxO blockchains | Mathematical Structures in Computer Science | Murdoch J Gabbay | 2021/10 |
Money grows on (proof-) trees: the formal FA1. 2 ledger standard | arXiv preprint arXiv:2109.09451 | Murdoch Gabbay Arvid Jakobsson Kristina Sojakova | 2021/9/20 |
Karl Marx and the blockchain | Devraj Basu Murdoch Gabbay | 2021/7/8 | |
Equivariant ZFA and the foundations of nominal techniques | Journal of Logic and Computation | Murdoch Gabbay | 2020/3/16 |
UTxO-vs account-based smart contract blockchain programming paradigms | Lars Brünjes Murdoch J Gabbay | 2020 |
Co-Authors
