Braeburn Braeburn The 'Braeburn' is a cultivar of apple that is firm to the touch with a red/orange vertical streaky appearance on a yellow/green background. Its color intensity varies with different growing conditions. It was discovered as a chance seedling in 1952 by the farmer O. Moran from Waiwhero in the Moutere Hills near Motueka, New Zealand. It was then cultivated by the Williams Brothers nursery as a potential export variety. It is a seedling from the 'Lady Hamilton' apple. The apple itself is named after Braeburn Orchard near Motueka, where it was first commercially grown. Braeburn apples have a combination
History of type theory by introducing dependent types, which became known as intuitionistic type theory or Martin-Löf type theory. Martin-Löf's theory uses inductive types to represent unbounded data structures, such as natural numbers. The lambda cube was not a new type theory but a categorization of existing type theories. The eight corners of the cube included some existing theories with simply typed lambda calculus at the lowest corner and the calculus of constructions at the highest. History of type theory The type theory was initially created to avoid paradoxes in a variety of formal logics and rewrite systems. Later, type theory referred to a