A model with nondeterministic computation

Lecture Notes in Computer Science - λ-Calculus and Computer Science Theory ◽

10.1007/bfb0029532 ◽

2005 ◽

pp. 287-296

Author(s):

Marisa Venturini Zilli

Download Full-text