Abstract
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.
References
Sun Yongqiang and Lin Kai, The lambda calculus with algebraic operators and its combinatory logic. Conference on Intelligent Computer System, Jan., 1989.
J. Goguen, J. Thatcher and E. Wagner, An initial algebra approach to the specification, correctness and implementation of abstract data type. Current Trends in Programming Methodology, IV, Data Structuring (R. T. Yeh, Ed) Prentice Hall, New Jersey, 1978.
R. Hindley and J. Seldin, Introduction to Combinators and γ-calculus. Cambridge University Press, 1986.
Author information
Authors and Affiliations
Additional information
Supported by Chinese Natural Science Foundation
Rights and permissions
About this article
Cite this article
Lu, R., Zhang, Z. & Sun, Y. Construction of the model of the lambda calculus system with algebraic operators. J. of Compt. Sci. & Technol. 6, 108–112 (1991). https://doi.org/10.1007/BF02943414
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02943414