Making computational sense of Montague's intensional logic

Abstract
No abstract available