Continuation models are universal for /spl lambda//sub /spl mu//-calculus | IEEE Conference Publication | IEEE Xplore