Two Scott models for the  -calculus