Daniel Fredholm

Publication Activity (10 Years)

Years Active: 1992-1998
Publications (10 Years): 0

Publications

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