Latex 17th century, latex has been used as a term for the fluid substance in plants. It serves mainly as defense against herbivorous insects. Latex is not to be confused with plant sap; it is a separate substance, separately produced, and with separate functions. The word latex is also used to refer to natural latex rubber, particularly non-vulcanized rubber. Such is the case in products like latex gloves, latex condoms and latex clothing. Originally, the name given to latex by indigenous Equator tribes who cultivated the plant was “caoutchouc”, from the words “caa” (tear) and “ochu” (tree), because of the way
Type constructor be considered "built-in" in typed lambda calculi via currying. Abstractly, a type constructor is an "n"-ary type operator taking as argument zero or more types, and returning another type. Making use of currying, "n"-ary type operators can be (re)written as a sequence of applications of unary type operators. Therefore, we can view the type operators as a simply typed lambda calculus, which has only one basic type, usually denoted formula_1, and pronounced "type", which is the type of all types in the underlying language, which are now called "proper types" in order to distinguish them from the types of the