Abstract:
Abstract:
The object of this paper is to introduce a ?-type calculus which is easier to handle than the known ?-calculus. We were able to represent conditional functions and Booleans, in the ?-type calculus, in a form that is easy to understand and easy to compute