On Sun, 2 Mar 2003 10:16:12 +0200 "Cagdas Ozgenc" <co19@cornell.edu> wrote: > Could you give an intutive description of data construction In some form of typed lambda-calculus, you have the sum and product types. An example is PCF; see for example: http://citeseer.nj.nec.com/howard90operational.html Vincenzo