Normal form simulation for McCarthy's \textsf{amb}
From MaRDI portal
Publication:2852363
Recommendations
Cited in
(6)- Applicative may- and should-simulation in the call-by-value lambda calculus with AMB
- Bisimulations for delimited-control operators
- Proving soundness of extensional normal-form bisimilarities
- Extracting total Amb programs from proofs
- Amb Breaks Well-Pointedness, Ground Amb Doesn't
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State
This page was built for publication: Normal form simulation for McCarthy's \textsf{amb}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852363)