Projecting Sequential Algorithms on Strongly Stable Functions (1993)

Cached

Download Links

by Thomas Ehrhard
Venue:Annals of Pure and Applied Logic
Citations:22 - 2 self

Document Versions

Projecting Sequential Algorithms on Strongly Stable Functions –Thomas Ehrhard — 1993 — Annals of Pure and Applied Logic