Termination and guardedness checking with continuous types (2003)

by A Abel
Venue:Proc. of 6th Int. Conf. on Typed Lambda Calculi and Applications, TLCA 2003