research
∙
08/20/2018
Lambda Calculus with Explicit Read-back
This paper introduces a new term rewriting system that is similar to the...
research
∙
06/19/2018
Upward confluence in the interaction calculus
The lambda calculus is not upward confluent, one of counterexamples bein...
research
∙
10/20/2017