Why is self-application impossible to typed?

Type Theory

New · 0d
question
Why is self-application impossible to typed?
Hint
© 2026 Scrambled Kitchen·GitHub