Full abstraction for nominal Scott domains.

Steffen Lsch, Andrew M. Pitts

Browse the full POPL paper archive.