Henning Basold


In case you feel like it, you can contact me through one of the following channels.


Evaluate one of the following λ-terms using string concatenation:

  • (λ x y z. x "@" y "." z) "henning" "basold" "eu"
  • (λ x y z. x "@" y "." z) "h.basold" "cs.ru" "nl".
Here is my PGP key with ID CDB1326E.


Radboud University Nijmegen

  • Postal address: P.O. Box 9010, 6500GL Nijmegen, Netherlands
  • Visiting address: Room 2.08, Mercator I, Toernooiveld 216, 6525 EC Nijmegen, Map

CWI Amsterdam

  • Postal address: P.O. Box 94079, 1090 GB Amsterdam, Netherlands
  • Visiting address: Room L216, Science Park 123, 1098 XG Amsterdam, Map