高型對象

高型對象(object of higher type)自然數對象的一種推廣.對任何自然數n,。上的n型對象的合遞歸定義為:
1.T}o'=m.
2. T}"+" =Tcn，到。的全函式的集合·
3.T=日<。T }'’中的成員稱為高型對象.簡單地說，自然數為0型對象，自然數上的全函式為1型對象，自然數上全函式到自然數的全函式為2型對象等.