Microsoft PowerPoint - Lect06higher_order_procedures6.ppt - Church encoding - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2005-09-28 10:06:16 Lambda calculus Subroutines Functional programming Anonymous function Parameter Scheme ALGOL 68 Church encoding Deductive lambda calculus		Microsoft PowerPoint - Lect06higher_order_procedures6.ppt Add to Reading List Source URL: sicp.csail.mit.edu Download Document from Source Website File Size: 58,42 KB Share Document on Facebook