Pages that link to "Item:Q1802059"
From MaRDI portal
The following pages link to A proof of the substitution lemma in de Bruijn's notation (Q1802059):
Displaying 3 items.
- Reviewing the classical and the de Bruijn notation for \(\lambda\)-calculus and pure type systems (Q2752527) (← links)
- Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions (Q2945649) (← links)
- On Levenshtein’s Reconstruction Problem Under Insertions, Deletions, and Substitutions (Q5032564) (← links)
