3 ms·
(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
by hackandthink 4y ago
(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-add-turing-completeness-to-system-f https://stackoverflow.com/questions/25255413/how-did-haskell...