Texts

Peer-reviewed publications

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, Ian Pratt-Hartmann, Mark Reynolds, and Heinrich Wansing, pages 309—333. King's College Publications, 2005. ISBN 1904987222.
(Stewart 2002)
Reducibility between classes of port graph grammar. In Journal of Computer and System Science 65(2): 169—223. Academic Press, September 2002.

Published contributions to peer-reviewed academic conferences and workshops

(Hein & Stewart 2005)
Purity through Unravelling.
(Stewart 2001)
Compiling AGG into the Network Linear Graph Reduction System (abstract).
(Ong & Stewart 1997)
A Curry-Howard foundation for functional computation with control.

Doctoral dissertation

(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 workshop.
Bonn, Germany, February 2003.
C. A. Stewart. Conceptual Harmony and the Semantics of Programming Languages (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 (DGfS-2000).
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.

Technical Reports

(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.

Teaching materials

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.