Pages that link to "Item:Q5262940"
From MaRDI portal
The following pages link to Amb Breaks Well-Pointedness, Ground Amb Doesn't (Q5262940):
Displaying 3 items.
- Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec (Q1944119) (← links)
- Normal form simulation for McCarthy's \textsf{amb} (Q2852363) (← links)
- Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction (Q6649494) (← links)