System U

special forms of a typed lambda calculus

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

ক্যাটাগরি:

pure type system