Jordan University of Science and Technology

Journal of Mathematics and Computer Sciences.

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

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