User:Chalst/chalst
From Wikipedia, the free encyclopedia
I'm Charles Stewart, a copy-editor and former logician, who retains his former research interests in proof theory, semantics of logic, modal logic and applications of logic to computer science and programming. I've left a webtrail in many places, some of which are gathered here. I have three pages I regard as homepages:
- 'Chalst' account at advogato.org, where I keep my online diary;
- Business home page at textproof.com; and
- Academic home page at linearity.org.
[edit] User pages at wikimedia sites
- de.wikipedia.org,
- wikisource, and
- meta-wiki.
[edit] User pages at other wikis
- Proof and Counterexample,
- CLiki,
- c2.com,
- The Scheme Wiliki at schemewiki.org, and
- 43folders.com (dormant).
