System F

typed lambda calculus

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

Categories:

lambda calculustyped lambda calculus