Pages that link to "Item:Q2819789"
From MaRDI portal
The following pages link to Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy (Q2819789):
Displaying 9 items.
- A general semantic construction of dependent refinement type systems, categorically (Q2233424) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs (Q2331068) (← links)
- Product programs and relational program logics (Q2374302) (← links)
- Model checking differentially private properties (Q2680992) (← links)
- Computer-Aided Verification for Mechanism Design (Q2959836) (← links)
- Is Your Software on Dope? (Q2988635) (← links)
- Relational cost analysis in a functional-imperative setting (Q5020903) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
