Abstract: Summary. A supplement of [3] and [2], i.e. some useful and explanatory properties of the product and also the curried and uncurried functions are shown. Besides, the functions yielding functions are considered: two different products and other operation of such functions are introduced. Finally, two facts are presented: quasi-distributivity of the power of the set to other one w.r.t. the union (X U x f(x) ≈ Q x X f(x) ) and quasi-distributivity of the poroduct w.r.t. the raising to the power ( Q x f(x) X ≈ ( Q x f(x)) X ). MML Identifier: FUNCT 6.
Publication Year: 1991
Publication Date: 1991-01-01
Language: en
Type: article
Access and Citation
Cited By Count: 31
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot