Proof-theoretic characterization Note that this material has been merely migrated and not revised Lecture slides pdf git v1.10.0