Termination checking with types (2004)

by A Abel
Venue:In: Fix Points in Computer Science 2003 (FICS03). Special issue of Theoretical Informatics and Applications (RAIRO