Pages that link to "Item:Q2752530"

The following pages link to Explicit Substitutions and Reducibility (Q2752530):

Displaying 3 items.

• A type-theoretic foundation of delimited continuations (Q968364) (← links)
• Intersection types for explicit substitutions (Q1887145) (← links)
• Call-by-name reduction and cut-elimination in classical logic (Q2482842) (← links)