The following pages link to Roel Bloo (Q1274457):
Displayed 10 items.
- Explicit substitution. On the edge of strong normalization (Q1274458) (← links)
- On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations (Q1302298) (← links)
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case (Q1763159) (← links)
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case (Q1764799) (← links)
- The Barendregt cube with definitions and generalised reduction (Q1917101) (← links)
- On explicit substitution with names (Q2392486) (← links)
- Pure type systems with explicit substitution (Q2713351) (← links)
- (Q3044340) (← links)
- (Q4357055) (← links)
- Combinatory reduction systems with explicit substitution that preserve strong normalisation (Q5055859) (← links)