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…
English Quotient type Cited by user Caleb Stanford on 13 Sep 2023 In the field of type theory in computer science, a quotient type is a data type which respects a user-defined equality relation.
English Higher-order abstract syntax Cited by user Citation bot on 17 Feb 2009 In computer science, higher-order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders.