Home » user account

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


15 years 17 weeks