7 citations · 19 across the 6 of their papers we have counts for
3 papers · 1 filter
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…