New Foundations for Fixpoint Computations

Roy L. Crole, Andrew M. Pitts

Browse the full LICS paper archive.