We use cookies to improve your experience with our site.
Lu Ruzhan, Zhang Zheng, Sun Yongqiang. Construction of the Model of the Lambda Calculus System with Algebraic Operators. Journal of Computer Science and Technology, 1991, 6(1): 108-112.
Citation:
Lu Ruzhan, Zhang Zheng, Sun Yongqiang. Construction of the Model of the Lambda Calculus System with Algebraic Operators. Journal of Computer Science and Technology, 1991, 6(1): 108-112.
Lu Ruzhan, Zhang Zheng, Sun Yongqiang. Construction of the Model of the Lambda Calculus System with Algebraic Operators. Journal of Computer Science and Technology, 1991, 6(1): 108-112.
Citation:
Lu Ruzhan, Zhang Zheng, Sun Yongqiang. Construction of the Model of the Lambda Calculus System with Algebraic Operators. Journal of Computer Science and Technology, 1991, 6(1): 108-112.
Construction of the Model of the Lambda Calculus System with Algebraic Operators
A lambda system with algebraic operators,lambda-plus system,is introduced.After giving the definitions of the system,we present a sufficient condition for formulating a model of the system. Finally,a model of such system is constructed.