Projecting Sequential Algorithms on Strongly Stable Functions (1993)

by Thomas Ehrhard
Venue:Annals of Pure and Applied Logic