Title :
Substitutivity property in the partial lambda calculus
Author_Institution :
Fac. of Civil Eng., Maribor, Slovenia
Abstract :
We introduced a reduction relation which enables the use of some term rewriting techniques in the syntax of the partial lambda calculus. Using this relation we prove a generalization of the substitute property which is crucial in the proof of the confluence.
Keywords :
lambda calculus; rewriting systems; confluence; partial lambda calculus; reduction relation; substitute property; substitutivity; syntax; term rewriting; Algebra; Artificial intelligence; Calculus; Information technology;
Conference_Titel :
Information Technology Interfaces, 2000. ITI 2000. Proceedings of the 22nd International Conference on
Conference_Location :
Pula, Croatia
Print_ISBN :
953-96769-1-6
