1 Abstraction as a Means for End-User Computing in Creative Applications Mira Balaban () Eli Barzilay ()

First Page		Document Content
Date: 2003-03-11 03:26:58 Abstraction 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 List Source URL: barzilay.org Download Document from Source Website File Size: 614,82 KB Share 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 Gothenburg DocID: 1p7Wu - View Document
	A/z-CALCULUS: INTERPRETATION NATURAL AN DocID: 1p6q9 - View Document
	Microsoft PowerPoint - Lect06higher_order_procedures6.ppt DocID: 1p5m0 - View Document
	Type theory and proof assistants answers 1. λx : a → b → c. λy : b. λz : a. xzy (This term corresponds to the proof DocID: 1oOoH - View Document