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 | Add to Reading List |
![]() | 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 |