Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalenceDavid SabelÉpuisé4,3Prévenez-moi
