Similar Items: 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
- Generic Modal Cut Elimination Applied to Conditional Logics
- Linear cost and exponentially convergent approximation of Gaussian Matérn processes on intervals
- The Structure of Differential Invariants and Differential Cut Elimination
- Inducing syntactic cut-elimination for indexed nested sequents
- Linear Temporal Logic for Regular Cost Functions