Making Computational Sense of Montague's Intensional Logic