English System U Cited by user 2001:41D0:FE6F:4800:0:0:0:1 on 03 Nov 2023 In mathematical logic, System U and System U− are pure type systems, i.e. special forms of a typed lambda calculus with an arbitrary number of sorts, axioms and rules (or…