(Special seminar in honour of Dana Scott's 90th birthday)

Spoiler:

"in this locality (simple type theory) it doesn't help"

"If you go to polymorphic lambda calculus all partially recursive functions become immediately definable"

related:

https://stackoverflow.com/questions/25255413/how-did-haskell...