Unique Fixed Point Induction for McCarthy's Amb.

Sren B. Lassen, Andrew Moran

Browse the full MFCS paper archive.