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.