TY - JOUR AU - Muskens, Reinhard IS - 1 JA - Journal of Symbolic Logic PB - Association for Symbolic Logic PY - 2007 TI - Intensional models for the theory of types VL - 72 ER -