Non-Determinism in a Functional Setting (Extended Abstract) (1993)

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