The following pages link to (Q3857730):
Displayed 7 items.
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- A useful \(\lambda\)-notation (Q1365680) (← links)
- Lambda-calculus with director strings (Q1778107) (← links)
- Intersection types for explicit substitutions (Q1887145) (← links)
- Pure pattern calculus à la de Bruijn (Q2229151) (← links)
- λν, a calculus of explicit substitutions which preserves strong normalisation (Q3125228) (← links)
- Explicit substitutions with de bruijn's levels (Q5055838) (← links)