System F

typed lambda calculus

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

الفئات:

lambda calculustyped lambda calculus