Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus.

Alberto Carraro, Antonino Salibra

Browse the full LICS paper archive.