Programming Language Theory Flashcard

Why is self-application impossible to typed?

Books

Decktype theory

Question

Answer

$x x$ -> $x = T \to T$ and $x = T$ . Therefore, $T = T \to T$ .