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 |
1 Abstraction as a Means for End-User Computing in Creative Applications Mira Balaban () Eli Barzilay ()DocID: 1rtSg - View Document | |
Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of GothenburgDocID: 1p7Wu - View Document | |
A/z-CALCULUS: INTERPRETATION NATURAL ANDocID: 1p6q9 - View Document | |
Microsoft PowerPoint - Lect06higher_order_procedures6.pptDocID: 1p5m0 - View Document | |
Type theory and proof assistants answers 1. λx : a → b → c. λy : b. λz : a. xzy (This term corresponds to the proofDocID: 1oOoH - View Document |