Articles in journals and collections
- (Stewart & Stouppa 2005)
- A systematic
proof theory for several modal logics (preprint) In Advances in modal logic, vol. 5, eds. Renate Schmidt,
Mark Reynolds, and
Heinrich Wansing, pages 309—333. King's College Publications, 2005. ISBN 1904987222.
- (Stewart 2002)
- Reducibility between classes of port
In Journal of Computer and System Science 65(2): 169—223.
Academic Press, September 2002.
Published contributions to peer-reviewed academic conferences and
- (Hein & Stewart 2005)
- Purity through Unravelling.
- (Stewart 2001)
- Compiling AGG into the Network Linear Graph
Reduction System (abstract).
- (Ong & Stewart 1997)
Curry-Howard foundation for functional computation with control.
- (Stewart 1998/2002)
- On the formulae–as–types
correspondence for classical logic.
Other manuscripts and text-matter
Abstracts, slides and pre-prints of talks
- Chicago, IL, June 2005.
- C. A. Stewart. On the inferential role semantics of modal logic.
Presented to the Intuitionistic Modal Logic and Applications
- Bonn, Germany, February 2003.
- C. A. Stewart. Conceptual Harmony and the Semantics of
(abstract). Presented to the
Foundations of the Formal
Sciences IV conference.
- Marburg, Germany, March 2000.
- C. A. Stewart. Understanding WH-Interrogatives in Terms of
Inferential Roles: A View from the Philosophy of Language. Presented
to the Pronouns: Representation and Grammar workshop of the Annual Conference of the
German Society for Linguistics
- Edinburgh, Scotland, April 1999.
- C. A. Stewart. A type theory for classical arithmetic
(abstract). Presented to the workshop of the School in Logic
and Computation, Heriot-Watt University.
- (Stewart 2002)
- A proof of the reducibility of general port graph grammars to
simple port graph grammars. Technical report 2002-1, Department of
Computer Science, Technical University of Berlin, 2002.
- (Stewart & Stouppa 2003)
- A systematic proof theory for
several modal logics. Technical report WV-03-08, Technische
Universitaet Dresden, 2003.
- Dresden, Germany, June 2002.
- C. A. Stewart. Harmonic type theory
(course handout). Five tutorial lectures delivered to the Workshop on Proof Theory and Computation,
Dresden University of Technology.