DocumentCode
1744358
Title
Substitutivity property in the partial lambda calculus
Author
Gaborovic, S.
Author_Institution
Fac. of Civil Eng., Maribor, Slovenia
fYear
2000
fDate
16-16 June 2000
Firstpage
423
Lastpage
428
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology Interfaces, 2000. ITI 2000. Proceedings of the 22nd International Conference on
Conference_Location
Pula, Croatia
ISSN
1330-1012
Print_ISBN
953-96769-1-6
Type
conf
Filename
915982
Link To Document