Similar Items: The Structure of Differential Invariants and Differential Cut Elimination
- Generic Modal Cut Elimination Applied to Conditional Logics
- Inducing syntactic cut-elimination for indexed nested sequents
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
- A Refreshment Stirred, Not Shaken: Invariant-Preserving Deployments of Differential Privacy for the U.S. Decennial Census
- A coherent differential PCF