dblp.uni-trier.dewww.uni-trier.de

Daniel Fredholm Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1998
4EELoïc Colson, Daniel Fredholm: System T, Call-by-Value and the Minimum Problem. Theor. Comput. Sci. 206(1-2): 301-315 (1998)
1996
3EEDaniel Fredholm: Computing Minimum with Primitive Recursion over Lists. Theor. Comput. Sci. 163(1&2): 269-276 (1996)
1995
2EEDaniel 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

1Loïc Colson [4]
2Svetozar Serafimovski [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)