Daniel Fredholm

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
System T, Call-by-Value and the Minimum Problem.
Theor. Comput. Sci., 1998

1996
Computing Minimum with Primitive Recursion over Lists.
Theor. Comput. Sci., 1996

1995
Intensional Aspects of Function Definitions.
Theor. Comput. Sci., 1995

1992
Partial Inductive Definitions as Type-Systems for lambda-Terms.
BIT, 1992


  Loading...