Partial Inductive Definitions as Type-Systems for lambda-Terms. - Daniel Fredholm; Svetozar Serafimovski (BIT, 1992)