The following pages link to Big-step normalisation (Q3638919):
Displaying 10 items.
- Decidability for non-standard conversions in typed lambda-calculi (Q2794668) (← links)
- 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)
- (Q5369497) (← links)
- Indexed containers (Q5371943) (← links)
- Pure type systems with explicit substitutions (Q5371956) (← links)
- Normalization flow (Q6069643) (← links)
- (Q6079230) (← links)