Daniel Fredholm

According to our database, Daniel Fredholm authored at least 4 papers between 1992 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1998

System T, Call-by-Value and the Minimum Problem.

Loïc Colson, Daniel Fredholm

Theor. Comput. Sci., 1998

1996

Computing Minimum with Primitive Recursion over Lists.

Daniel Fredholm

Theor. Comput. Sci., 1996

1995

Intensional Aspects of Function Definitions.

Daniel Fredholm

Theor. Comput. Sci., 1995

1992

Partial Inductive Definitions as Type-Systems for lambda-Terms.

Daniel Fredholm, Svetozar Serafimovski

BIT, 1992