Termination and Productivity Checking with Continuous Types

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/3-540-44904-3_1 ◽

2003 ◽

pp. 1-15 ◽

Cited By ~ 6

Author(s):

Andreas Abel

Download Full-text