Termination checking with types (2002)

by Andreas Abel
Venue:Institut fr Informatik, Ludwigs-Maximilians-Universitt Mnchen