Some Quick Links for this Website

The following are some quick links to homepages for each of the following major areas of my research:

See also the Meaning and Computation Lab homepage.

Below are links to versions of the OBJ system and some of its relatives.

Warning: The ftp download sites require host authentication, so you probably cannot use it from a laptop over a wireless network; also, you may need to set the username if you use a browser.
Maintained by Joseph Goguen
Last modified: Mon Nov 7 14:24:17 PST 2005