Title :
Toward a reduction system commuting with beta reduction in the partial lambda calculus
Author_Institution :
Fac. of Civ. Eng., Maribor Univ., Slovenia
fDate :
6/23/1905 12:00:00 AM
Abstract :
We imposed directionality in the relation assigning to restriction in the partial lambda calculus to obtain a reduction system. Investigation of such reduction systems gave some results concerning confluence in the past which we believe can be sharpened.
Keywords :
"Calculus","Postal services"
Conference_Titel :
Information Technology Interfaces, 2001. ITI 2001. Proceedings of the 23rd International Conference on
Print_ISBN :
953-96769-3-2
DOI :
10.1109/ITI.2001.938046
