A Call-by-Need Lambda-Calculus with Locally Bottom-Avoiding Choice 67 LM99. Søren B. Lassen and Andrew Moran. Unique fixed point induction for McCarthy’s amb (1999)

by Man05 Matthias Mann
Venue:In MFCS ’99: Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science