research
∙
11/18/2022
Reconciling Shannon and Scott with a Lattice of Computable Information
This paper proposes a reconciliation of two different theories of inform...
share
research
∙
07/05/2021
A Theory of Higher-Order Subtyping with Type Intervals (Extended Version)
The calculus of Dependent Object Types (DOT) has enabled a more principl...
research
∙
11/24/2020
Transforming Data Flow Diagrams for Privacy Compliance (Long Version)
Recent regulations, such as the European General Data Protection Regulat...
research
∙
08/25/2020
Rate Equations for Graphs
In this paper, we combine ideas from two different scientific traditions...
research
∙
06/20/2019