The materials in this section are drafts of work in progress, provided
as a courtesy to others interested in the same topics. Please treat
them as such, and do not refer to any of their contents as definite
results or claims. In particular, the bibliography and credits to
others may not be complete or accurate, and not all of the results
have been verified.
Copyrights are held by the authors, but may be transferred to
publishers when the work is completed. In general, these papers are
provided for direct use in scholarship and education. If you are
contemplating other uses, such as republication, you must obtain
appropriate permissions.
Last modified: Wed Jan 19 16:19:28 CST 2000
- The Sound Manifesto
- Against
Nonmonotonic Logic
- Digital Sound Textbook
- Description of a pictorial logo for CJTCS
- Realizability semantics
for constructive logic (in a very messy state)
- Proposal
for a Public Service Software Team
- An article for
the Journal of Electronic Publishing. This is
really in progress, in the sense that I am writing
it right now. Anything may change, and the HTML may not
even be well-formed.