4 Apr
2007
4 Apr
'07
5:05 p.m.
Edsko,
Yeah, it's rather cool. IIRC, this style of encoding of recursion operators is attributed to Morris.
Do you have a reference?
James H. Morris. Lambda calculus models of programming languages. Technical Report MIT-LCS//MIT/LCS/TR-57, Massachusetts Institute of Technology, 1968. Cheers, Stefan