Scientific Manuscripts
Dr. Charles Stewart

Articles in journals and collections

C. A. Stewart and P. Stouppa. A systematic proof theory for several modal logics. In Advances in Modal Logic Volume 5, R. Schmidt, M. Reynolds, and H. Wansing, eds. College Publications, 2005, ISBN 1904987222.
C. A. Stewart. Reducibility between classes of port graph grammar. In Journal of Computer and System Science 65(2): 169—223. Academic Press, September 2002.

Doctoral dissertation

C. A. Stewart. On the formulae–as–types correspondence for classical logic. DPhil thesis, Programming Research Group, University of Oxford, 2000.

Published contributions to peer-reviewed academic conferences and workshops

R. Hein and C. A. Stewart. Purity through Unravelling. Presented to the Structures and Deductions: The quest for the essence of proofs workshop (proceedings), a satellite of ICALP 2005. Lisbon, July 2005.
C. A. Stewart. Compiling AGG into the Network Linear Graph Reduction System (abstract). In G. Taentzer, L. Baresi and M. Pezze, editors, Proceedings of the Second International Workshop on Graph Transformation and Visual Modeling Techniques. Milano, Dipartimento di Elettronica e Informazione Politecnico di Milano, 2001.
C.-H. L. Ong and C. A. Stewart. A Curry-Howard foundation for functional computation with control. In Proceedings 24th Conf. on Principles of Programming Languages. ACM Press, 1997.

Technical Reports

C. A. Stewart and P. Stouppa. A systematic proof theory for several modal logics. Technical report WV-03-08, Technische Universitaet Dresden, 2003.
C. A. Stewart. 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.

Selected talks

C. A. Stewart. On the inferential role semantics of modal logic. Presented to the Intuitionistic Modal Logic and Applications workshop. Chicago, June 2005.
C. A. Stewart. Conceptual Harmony and the Semantics of Programming Languages (abstract). Presented to the Foundations of the Formal Sciences IV conference. Bonn, February 2003.
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), University of Marburg, March 2000.
C. A. Stewart. A type theory for classical arithmetic (abstract). Presented to the workshop of the School in Logic and Computation, Heriot-Watt University. Edinburgh, April 1999.

Selected courses

C. A. Stewart. Harmonic type theory (course handout). Five tutorial lectures delivered to the Workshop on Proof Theory and Computation, Dresden University of Technology, June 2002.