The following pages link to Big-step normalisation (Q3638919):
Displayed 7 items.
- Type Theory Should Eat Itself (Q2804938) (← links)
- Structural recursion with locally scoped names (Q3016213) (← links)
- Towards a Cubical Type Theory without an Interval (Q4580224) (← links)
- Normalization by Evaluation for Typed Weak lambda-Reduction (Q5091147) (← links)
- Indexed containers (Q5371943) (← links)
- Pure type systems with explicit substitutions (Q5371956) (← links)
- (Q6079230) (← links)