Pages that link to "Item:Q5262940"

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

Displayed 2 items.

• Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec (Q1944119) ‎ (← links)
• Extracting total Amb programs from proofs (Q6166786) ‎ (← links)