Unique fixed point induction for McCarthy’s amb (1999)

by Søren B Lassen, Andrew Moran
Venue:In MFCS