Login / Signup
A Universality Theorem for PCF With Recursive Types, Parallel-Or and Exists.
Thomas Streicher
Published in:
Math. Struct. Comput. Sci. (1994)
Keyphrases
</>
cellular automata
case study
parallel processing
data sets
parallel algorithm
massively parallel
parallel computation