System U

special forms of a typed lambda calculus

en-US/ˈsɪstəm ˈju/
en-GB/ˈsɪstəm juː/

دسته بندی ها:

pure type system