[CST-2] Types

Shu Yan Chan syc22@cam.ac.uk
Sat, 2 Jun 2001 03:19:01 +0100


Has anyone attempted 99 Paper 9 Q13 ?
I cannot do the last part.  Presumably, we do not have to show how to
compose f and g?  Is the Lift function from the previous section being used
at all?

Also, 1998 P7 Q10, I think every function N -> N is PLC representable, but
cannot justify it  :-(

Shu Yan