System F

typed lambda calculus

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

קטגוריות:

lambda calculustyped lambda calculus