Jordan University of Science and Technology

Journal of Mathematics and Computer Sciences.


Authors:  Hmeidi I, Jabri.Khalil R. and Tubashat A

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