Induction by Coinduction and Control Operators in Call-by-Name

Yoshihiko Kakutani, Daisuke Kimura

This paper studies emulation of induction by coinduction in a call-by-name language with control operators. Since it is known that call-by-name programming languages with control o…