John Gough (natural philosopher) wife and seven of their children. He was buried in the parish churchyard of Kendal. Gough had wide-ranging scientific interests. He published papers in natural history, mechanics, mathematics, chemistry, and experimental physics. One of his most interesting pieces of work was an investigation into the properties of natural rubber or Caoutchouc. He was the first to describe the heat released when a rubber band is quickly stretched, the heat being detected by the lips to which the band is pressed. When stretched rubber is heated, it contracts, a reversal of the normal behaviour of materials when heated. Gough published these
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