Full Abstraction and Expressive Completenes for FP

Joseph Y. Halpern, Edward L. Wimmers

Browse the full LICS paper archive.