A Sound and Complete CPS-Translation for λμ-Calculus

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

10.1007/3-540-44904-3_9 ◽

2003 ◽

pp. 120-134 ◽

Cited By ~ 5

Author(s):

Ken-etsu Fujita

Download Full-text