System F-sub

typed lambda calculus

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

دسته بندی ها:

lambda calculustyped lambda calculus