Pages that link to "Item:Q2506495"
From MaRDI portal
The following pages link to A relational account of call-by-value sequentiality (Q2506495):
Displaying 7 items.
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400) (← links)
- Prelogical relations (Q1854557) (← links)
- Game-theoretic analysis of call-by-value computation (Q1960532) (← links)
- Game theoretic analysis of call-by-value computation (Q4571955) (← links)
- A Semantical and Operational Account of Call-by-Value Solvability (Q5410667) (← links)
- Extended call-by-push-value: reasoning about effectful programs and evaluation order (Q6091305) (← links)
- Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction (Q6649494) (← links)