
6 Nov
2009
6 Nov
'09
10:29 a.m.
Hello all, Are any of the of the more exotic recursion schemes definable without a least-fixed point /Mu/ type? The only definitions of zygomorphism etc. I've seen use it. Thanks Stephen