System F-sub

typed lambda calculus

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

Categories:

lambda calculustyped lambda calculus