Projecting Sequential Algorithms on Strongly Stable Functions

Thomas Ehrhard. Projecting Sequential Algorithms on Strongly Stable Functions. Annals of Pure and Applied Logic, 77(3):201-244, 1996.

Abstract

Abstract is missing.