Projecting sequential algorithms on strongly stable functions (1996)

by T Ehrhard
Venue:Annals of Pure and Applied Logic