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

by U Nestmann
Venue:Journal of Information and Computation