Home » user account

Charles A Stewart

Personal information


Germany

http://consequently.org/edit/page/Charles_Stewart

Proof theory, modal logic & the mystery of cut-elimination.
Semantics of programming languages & philosophy of language.
Graph theory, graph rewriting & models of computation.

History


13 years 9 weeks