System F-sub

typed lambda calculus

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

Kategori:

lambda calculustyped lambda calculus