Pages that link to "Item:Q4719353"
From MaRDI portal
The following pages link to The call-by-value λ-calculus: a semantic investigation (Q4719353):
Displaying 26 items.
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Modelling environments in call-by-value programming languages. (Q1427853) (← links)
- A formal equational theory for call-by-push-value (Q1791198) (← links)
- Parametric parameter passing \(\lambda\)-calculus (Q1887148) (← links)
- A relational account of call-by-value sequentiality (Q2506495) (← links)
- Control categories and duality: On the categorical semantics of the lambda-mu calculus (Q2719799) (← links)
- The Value-Passing Calculus (Q2842635) (← links)
- Adjunction models for call-by-push-value with stacks (Q2842825) (← links)
- Simple easy terms (Q2842831) (← links)
- The Call-by-Need Lambda Calculus, Revisited (Q2892724) (← links)
- (Q3024851) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- (Q4263869) (← links)
- (Q4411826) (← links)
- (Q4448358) (← links)
- (Q4499189) (← links)
- (Q4600771) (← links)
- Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus (Q4982059) (← links)
- (Q4986734) (← links)
- (Q5018484) (← links)
- Standardization of a Call-By-Value Lambda-Calculus (Q5277841) (← links)
- Programming Languages and Systems (Q5308689) (← links)
- A Semantical and Operational Account of Call-by-Value Solvability (Q5410667) (← links)
- Term Rewriting and Applications (Q5703850) (← links)
- Extended call-by-push-value: reasoning about effectful programs and evaluation order (Q6091305) (← links)
