Daniel Fredholm

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1998

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

[DOI]

Theor. Comput. Sci., 1998

1996

Computing Minimum with Primitive Recursion over Lists.

[DOI]

Theor. Comput. Sci., 1996

1995

Intensional Aspects of Function Definitions.

[DOI]

Theor. Comput. Sci., 1995

1992

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

[DOI]

BIT, 1992