"Full abstraction for nominal Scott domains."

Steffen Lösch, Andrew M. Pitts (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics