Charles A. Stewart

According to our database, Charles A. Stewart authored at least 4 papers between 1997 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Intuitionistic Modal Logic: A 15-year retrospective.

Charles A. Stewart, Valeria de Paiva, Natasha Alechina

J. Log. Comput., 2018

2011

Improved Tactile Shear Feedback: Tactor Design and an Aperture-Based Restraint.

Brian T. Gleeson, Charles A. Stewart, William R. Provancher

IEEE Trans. Haptics, 2011

2002

Reducibility between Classes of Port Graph Grammar.

Charles A. Stewart

J. Comput. Syst. Sci., 2002

1997

A Curry-Howard Foundation for Functional Computation with Control.

C.-H. Luke Ong, Charles A. Stewart

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997