Pages that link to "Item:Q2506496"
From MaRDI portal
The following pages link to Completeness of continuation models for \(\lambda_\mu\)-calculus (Q2506496):
Displayed 7 items.
- Resource modalities in tensor logic (Q636303) (← links)
- A Filter Model for the λμ-Calculus (Q3007668) (← links)
- Call-by-Value Is Dual to Call-by-Name, Extended (Q3498450) (← links)
- Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus (Q4982059) (← links)
- Call-by-name extensionality and confluence (Q5372008) (← links)
- Monadic translation of classical sequent calculus (Q5410235) (← links)
- Healthiness conditions for predicate transformers (Q5971403) (← links)