3 ms·
I thought Fω was an extension of System F with type operators, so I figured if System F can check self-application, System Fω can too. Am I missing something e
by chombier 9y ago
I thought Fω was an extension of System F with type operators, so I figured if System F can check self-application, System Fω can too.
Am I missing something else?
- evincarofautumn 9y agoSorry, that comment was worded badly. Both System F and System Fω can express self-application at a particular type, but they can’t give a general type for self-application, e.g., Ω = ω ω where ω = λx.xx.
- chombier 9y agoI see, thanks for the precision!