Non-determinism in a functional setting (1993)

by C-H L ONG
Venue:In Proc. LICS 93