
6 Nov
2009
6 Nov
'09
3:29 p.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