Charles A Stewart

Personal information


Germany

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 1 week