Semi-continuous sized types and termination (0)

by A Abel
Venue:Logical Methods in Computer Science