System U (
original
) (
raw
)
Special forms of a typed lambda calculus