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

Intensional Aspects of Function Definitions. - Daniel Fredholm (Theor. Comput. Sci., 1995)

Computing Minimum with Primitive Recursion over Lists. - Daniel Fredholm (Theor. Comput. Sci., 1996)

System T, Call-by-Value and the Minimum Problem. - Loïc Colson; Daniel Fredholm (Theor. Comput. Sci., 1998)