Follow
C Stewart
C Stewart
Independent
Verified email at linearity.org - Homepage
Title
Cited by
Cited by
Year
A Curry-Howard foundation for functional computation with control
CHL Ong, CA Stewart
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
1941997
A Systematic Proof Theory for Several Modal Logics.
C Stewart, P Stouppa
Advances in modal logic 5, 309-333, 2004
722004
Purity through unravelling
R Hein, C Stewart
Structures and Deduction, 126-143, 2005
202005
On the formulae-as-types correspondence for classical logic
CA Stewart
162000
Intuitionistic modal logic: a 15-year retrospective
C Stewart, V de Paiva, N Alechina
Journal of Logic and Computation 28 (5), 873-882, 2018
152018
Long uvula: an unusual cause of chronic cough
V Pai, H Thomas, C Stewart
Postgraduate medical journal 80 (940), 116-116, 2004
132004
Reducibility between classes of port graph grammar
C Stewart
Journal of Computer and System Sciences 65 (2), 169-223, 2002
62002
A proof of the reducibility of general port graph grammars to simple port graph grammars
C Stewart
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 2002
12002
Compiling AGG into the Network Linear Graph Reduction System
CA Stewart
Proceedings of the Second International Workshop on Graph Transformation and …, 2001
12001
Intuitionistic Modal Logic: A fifteen year retrospective
C Stewart, V de Paiva, N Alechina
2015
Understanding wh-interrogatives in terms of inferential roles
C Stewart
2000
CONSTRUCTIVITY IN CLASSICAL LOGIC
C Stewart
1995
Fakultät Informatik
P Bruscoli, F Lamarche, C Stewart
The system can't perform the operation now. Try again later.
Articles 1–13