| |
| 1998 | ||
|---|---|---|
| 4 | EE | Loïc Colson, Daniel Fredholm: System T, Call-by-Value and the Minimum Problem. Theor. Comput. Sci. 206(1-2): 301-315 (1998) |
| 1996 | ||
| 3 | EE | Daniel Fredholm: Computing Minimum with Primitive Recursion over Lists. Theor. Comput. Sci. 163(1&2): 269-276 (1996) |
| 1995 | ||
| 2 | EE | Daniel Fredholm: Intensional Aspects of Function Definitions. Theor. Comput. Sci. 152(1): 1-66 (1995) |
| 1992 | ||
| 1 | Daniel Fredholm, Svetozar Serafimovski: Partial Inductive Definitions as Type-Systems for lambda-Terms. BIT 32(1): 30-44 (1992) | |
| 1 | Loïc Colson | [4] |
| 2 | Svetozar Serafimovski | [1] |