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,
- C. A. Stewart.
Reducibility between classes of port
In Journal of Computer and System Science 65(2): 169—223.
Academic Press, September 2002.
- C. A. Stewart. On the
formulae–as–types correspondence for classical
logic. DPhil thesis, Programming Research Group, University of
Published contributions to peer-reviewed academic conferences and
- R. Hein and C. A. Stewart.
Purity through Unravelling. Presented
to the Structures and Deductions: The quest for the essence of
(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,
- 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.
- 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
- 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.
- 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.