Non-Determinism in a Functional Setting", LICS '93 (1993)

by C-H L Ong
Venue:IEEE Comp. Soc. Press, Los Alamitos