Type-Logical Semantics

This page is devoted to the book:

For more information on the book, including a table of contents and the back cover blurb, check out:

Ordering Type-Logical Semantics

Both MIT Press and Amazon can handle online orders, even overseas.

Type-Logical Theorem Prover

The CGI-based theorem prover for type-logical grammar that was used to generate the examples in this book is available on line at:

Suggestions, Questions or Corrections

If you have suggestions, questions or corrections, please send them to Bob Carpenter at carp@colloquial.com.


Directory:     Home   |   Schedule   |   Projects   |   Publications   |   CV   |   Personal

Copyright ©1999. All rights reserved.   Contact: webmaster@colloquial.com   Updated:   22 January 1999