research
∙
04/17/2023
Trading green bonds using distributed ledger technology
The promising markets for voluntary carbon credits are faced with crippl...
share
research
∙
11/19/2022
Contract-Backed Digital Cash
We characterize digital cash as the digital equivalent of physical cash:...
research
∙
07/02/2022
The Programming of Algebra
We present module theory and linear maps as a powerful generalised and c...
research
∙
07/02/2022
Combinatory Adjoints and Differentiation
We develop a compositional approach for automatic and symbolic different...
research
∙
02/26/2021
