types

Related entries include:

constructed type; one-dimensional array; polymorphic lambda-calculus; sum of products;