Semi-continuous sized types and termination (2008)

by Andreas Abel
Venue:Logical Methods in Computer Science