Algebras of UTxO blockchains

DOI10.1017/S0960129521000438zbMath1489.68084arXiv2007.12404OpenAlexW3197588271WikidataQ123194259 ScholiaQ123194259MaRDI QIDQ5084313

Murdoch James Gabbay

Publication date: 24 June 2022

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2007.12404

zbMATH Keywords

nominal techniquesblockchainabstract chunk systemsUTxO

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Cryptography (94A60) Data encryption (aspects in computer science) (68P25)

Uses Software

• Nominal Isabelle
• GitHub

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new approach to abstract syntax with variable binding
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Nominal techniques in Isabelle/HOL
• Automata theory in nominal sets
• Equivariant ZFA and the foundations of nominal techniques
• Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes

This page was built for publication: Algebras of UTxO blockchains