Title: Making computational sense of Montague's intensional logic