Specify an interaction system that generates infinite computations (loops).
Complete the definition of the interaction system for combinatory logic
given in Section 7.3. More precisely, define the agents and rules needed to
define the S combinator (it can be defined with three agents and three
rules).
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here