> - a new category FP for (lazy) functional programs (Haskell syntax) the current discussion on that is happening here: http://groups.google.de/group/fp-termination/ Best regards, Johannes Waldmann.