Intensional aspects of function definitions (1995)

by Daniel Fredholm
Venue:Theoretical Computer Science