Pages that link to "Item:Q2752530"
From MaRDI portal
The following pages link to Explicit substitutions and reducibility (Q2752530):
Displaying 14 items.
- A type-theoretic foundation of delimited continuations (Q968364) (← links)
- Properties of substitutions and unifications (Q1074342) (← links)
- Primal-circular substitutions (Q1687466) (← links)
- Intersection types for explicit substitutions (Q1887145) (← links)
- Call-by-name reduction and cut-elimination in classical logic (Q2482842) (← links)
- Cut rules and explicit substitutions (Q2713355) (← links)
- (Q3201049) (← links)
- Reduction Under Substitution (Q3522035) (← links)
- (Q4357055) (← links)
- (Q4506392) (← links)
- On explicit substitutions and names (extended abstract) (Q4571957) (← links)
- Substitution, jumps, and algebraic effects (Q4635626) (← links)
- Foundations of Software Science and Computation Structures (Q5308466) (← links)
- (Q5748888) (← links)