7 citations · 19 across the 6 of their papers we have counts for
6 papers
Trading green bonds using distributed ledger technology
Henrik Axelsen, Ulrik Rasmussen, Johannes Rude Jensen +2
The promising markets for voluntary carbon credits are faced with crippling challenges to the certification of carbon sequestration and the lack of scalable market infrastructure i…
Contract-Backed Digital Cash
Søren Debois, Fritz Henglein, Morten C. Nielsen +2
We characterize digital cash as the digital equivalent of physical cash: secure, fungible, decentralized, directly controlled, privacy-preserving; but enhanced with qualitatively n…
The Programming of Algebra
Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen
We present module theory and linear maps as a powerful generalised and computationally efficient framework for the relational data model, which underpins today's relational databas…
Combinatory Adjoints and Differentiation
Martin Elsman, Fritz Henglein, Robin Kaarsgaard +2
We develop a compositional approach for automatic and symbolic differentiation based on categorical constructions in functional analysis where derivatives are linear functions on a…
Building Blocks of Sharding Blockchain Systems: Concepts, Approaches, and Open Problems
Yizhong Liu, Jianwei Liu, Marcos Antonio Vaz Salles +5
Sharding is the prevalent approach to breaking the trilemma of simultaneously achieving decentralization, security, and scalability in traditional blockchain systems, which are imp…
Infinitary Axiomatization of the Equational Theory of Context-Free Languages
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen
We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).