Making computational sense of Montague's intensional logic