Daniel Fredholm

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1998

4 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 Daniel Fredholm: Computing Minimum with Primitive Recursion over Lists. Theor. Comput. Sci. 163(1&2): 269-276 (1996)

1995

2 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)

	1998
4		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		Daniel Fredholm: Computing Minimum with Primitive Recursion over Lists. Theor. Comput. Sci. 163(1&2): 269-276 (1996)
	1995
2		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)

Coauthor Index

1 Loïc Colson [4]

2 Svetozar Serafimovski [1]

Colors in the list of coauthors