1 book
Making Computational Sense of Montague's Intensional Logic. by Jerry R. Hobbs and Stanley J. Rosenschein