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[J]. 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[J]. 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[J]. 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[J]. 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.
DownLoad: