Programming Language Theory Flashcard
Can recursion be obtained through desugaring alone in symply typed lambda calculus?
Books
Decktype theory
Question
Can recursion be obtained through desugaring alone in symply typed lambda calculus?
Answer
No: The Z-combinator requires self-application, but self-application is untypable.