What is a ‘good’ encoding of guarded choice? (2000)

by U Nestmann
Venue:Information and Computation