Pages that link to "Item:Q2931812"
From MaRDI portal
The following pages link to Linear dependent types for differential privacy (Q2931812):
Displaying 12 items.
- Preserving differential privacy under finite-precision semantics (Q507371) (← links)
- Differential privacy in probabilistic systems (Q529047) (← links)
- Resourceful program synthesis from graded linear types (Q2119110) (← links)
- Generalized bounded linear logic and its categorical semantics (Q2233407) (← links)
- Coupled relational symbolic execution for differential privacy (Q2233459) (← links)
- Graded modal dependent type theory (Q2233475) (← links)
- Model checking differentially private properties (Q2680992) (← links)
- I Got Plenty o’ Nuttin’ (Q3188289) (← links)
- Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows (Q3304822) (← links)
- Relational cost analysis in a functional-imperative setting (Q5020903) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
