Pages that link to "Item:Q3189857"
From MaRDI portal
The following pages link to An approach to call-by-name delimited continuations (Q3189857):
Displayed 5 items.
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← links)
- A Classical Sequent Calculus with Dependent Types (Q2988668) (← links)
- The approximation theorem for the Λμ-calculus (Q5268997) (← links)
- Call-by-name extensionality and confluence (Q5372008) (← links)
- (Q5377471) (← links)