Title :
On the decidability of restriction in the partial lambda calculus
Author_Institution :
Fac. Civil Eng., Maribor, Slovenia
Abstract :
Using the term rewriting technique we give a new proof of decidability of the theory of restriction in the partial lambda calculus.
Keywords :
"Calculus","Equations","Information technology","Reactive power"
Conference_Titel :
Information Technology Interfaces, 2000. ITI 2000. Proceedings of the 22nd International Conference on
Print_ISBN :
953-96769-1-6
