Contents
Exercises
Leaderboard
The book
Login
Sign up
English
Русский
Contents
4 Metalinguistic Abstraction
4.3 Variations on a Scheme — Nondeterministic Computing
Previous chapter
Next chapter
4 Metalinguistic Abstraction
4.3 Variations on a Scheme — Nondeterministic Computing
4.3.1 Amb and Search
4.3.2 Examples of Nondeterministic Programs
4.3.3 Implementing the Amb Evaluator
There are no comments yet.
Authentication required
You must log in to post a comment.
Login