Pages that link to "Item:Q5262940"

The following pages link to Amb Breaks Well-Pointedness, Ground Amb Doesn't (Q5262940):

Displaying 2 items.

• Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec (Q1944119) (← links)
• Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction (Q6649494) (← links)