Similar Items: Cut-Simulation and Impredicativity
- Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
- Polylogarithmic Cuts in Models of V^0
- The Structure of Differential Invariants and Differential Cut Elimination
- nf-core/cutandrun: A Nextflow pipeline for the analysis of CUT&RUN, CUT&Tag and TIP-seq datasets
- Generic Modal Cut Elimination Applied to Conditional Logics
- Inducing syntactic cut-elimination for indexed nested sequents