Pages that link to "Item:Q3638919"

The following pages link to Big-step normalisation (Q3638919):

Displaying 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)