Joachim Breitner


Published 2019-05-28 in sections English.

At a dance event in Freiburg someone told me that my first name would be spelled Ιωακείμ in Greek.

I am happy that my name contains ω (the first infinite ordinal, α (which identifies programs that differ only in names), ε (the crucial variable in a calculus proofs) and μ (which builds recursive types).

Sorry ι and κ, you just aren’t that cool.


Have something to say? You can post a comment by sending an e-Mail to me at <>, and I will include it here.