Pages that link to "Item:Q2506495"
From MaRDI portal
The following pages link to A relational account of call-by-value sequentiality (Q2506495):
Displaying 5 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)
- Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction (Q6649494) (← links)
