Login / Signup

A model with nondeterministic computation.

Marisa Venturini Zilli
Published in: Lambda-Calculus and Computer Science Theory (1975)
Keyphrases