The Work Intensional interpretation of functionals of finite type I The details The Author William W. Tait The offers