System F-sub

typed lambda calculus

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

カテゴリ：

lambda calculustyped lambda calculus