System F

typed lambda calculus

en-GB/ˈsɪstəm ɛf/
en-US/ˈsɪstəm ˈɛf/

分类：

lambda calculustyped lambda calculus