Science Fair Project Encyclopedia
Talk:Cartesian closed category
"In cartesian closed categories, a "function of two variables" can always be represented as a "function of one variable". In other contexts, this is known as currying; it has lead to the realization that lambda calculus can be formulated in any cartesian closed category."
- Could you please elaborate? Phys 21:09, 7 Mar 2004 (UTC)
I've added a Discussion section and a bit to the Application section; does this help? Adandrews 21 Apr 2005
Last updated: 06-01-2005 20:51:10
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details