First Page | Document Content | |
---|---|---|
Date: 2003-03-11 03:26:58Abstraction Theoretical computer science Lambda calculus Software engineering Cognitive science Models of computation Logic in computer science Data management Combinatory logic Factory Deductive lambda calculus | 1 Abstraction as a Means for End-User Computing in Creative Applications Mira Balaban () Eli Barzilay ()Add to Reading ListSource URL: barzilay.orgDownload Document from Source WebsiteFile Size: 614,82 KBShare Document on Facebook |