Termination and guardedness checking with continuous types (2003)

by Andreas Abel
Venue:Typed Lambda Calculi and Applications (TLCA 2003