| 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 | 196 | 1997 |
| A Systematic Proof Theory for Several Modal Logics. C Stewart, P Stouppa Advances in modal logic 5, 309-333, 2004 | 75 | 2004 |
| Purity through unravelling R Hein, C Stewart Structures and Deduction, 126-143, 2005 | 22 | 2005 |
| Intuitionistic modal logic: a 15-year retrospective C Stewart, V de Paiva, N Alechina Journal of Logic and Computation 28 (5), 873-882, 2018 | 17 | 2018 |
| On the formulae-as-types correspondence for classical logic CA Stewart | 16 | 2000 |
| Reducibility between classes of port graph grammar C Stewart Journal of Computer and System Sciences 65 (2), 169-223, 2002 | 7 | 2002 |
| 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 | 1 | 2002 |
| Compiling AGG into the Network Linear Graph Reduction System CA Stewart Proceedings of the Second International Workshop on Graph Transformation and …, 2001 | 1 | 2001 |
| 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 |
Luke OngDistinguished University Professor, Nanyang Technological Universityntu.edu.sg üzerinde doğrulanmış e-posta adresine sahip
