Cut rules and explicit substitutions
From MaRDI portal
Recommendations
- Cut elimination, substitution and normalisation
- Substitution rules for aperiodic sequences of the cut and project type
- scientific article; zbMATH DE number 7599492
- scientific article; zbMATH DE number 1748575
- Substitution invariant cutting sequences
- Explicit substitutions and reducibility
- Explicit substitutions
- Algebraic aspects of cut elimination
- On cut elimination in the presence of perice rule
- Cut elimination for a calculus with context-dependent rules
Cited in
(10)- Comparing and implementing calculi of explicit substitutions with eta-reduction
- Pattern matching as cut elimination
- Substitution rules for aperiodic sequences of the cut and project type
- A sequent calculus with implicit term representation
- Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions
- Comparing calculi of explicit substitutions with eta-reduction
- Cut elimination, substitution and normalisation
- A cut-like inference in a framework of explicit composition for various calculi of natural deduction
- Exponentials as substitutions and the cost of cut elimination in linear logic
- Resource operators for \(\lambda\)-calculus
This page was built for publication: Cut rules and explicit substitutions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2713355)
