Picture of Claus-Peter Wirth

CP on Notions

Reverse, Converse, Inverse, and Contrapositive

Extension / Intension (in German)

Equalities

Slim Ordinals and Least and Greatest Fixed Points, Knaster-Tarski, Aczel, &c.

Sets / Types

Don't Know / Don't Care Nondeterminism & Commitment

Safeness

Lexica