Non-determinism in a functional setting (extended abstract (1993)

by C-H L Ong
Venue:In In Proceedings 8th LICS