- Page 57, first full paragraph - "Similar translations of the Lambek calculus into ordered logic" should have been "Similar translations of the Lambek calculus into linear logic."
- Bibliography: I managed to misspell Patrick Cousot's last name wrong ("Cousout") while still spelling Radhia Cousot's name correctly.