Upward confluence in the interaction calculus

06/19/2018
by   Anton Salikhmetov, et al.
0

The lambda calculus is not upward confluent, one of counterexamples being known thanks to Plotkin. This paper explores upward confluence in the interaction calculus. Can an interaction system have this property? We positively answer this question and even provide sufficient conditions for stronger one-step upward confluence.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset