Back to Results
First PageMeta Content
Lambda calculus / Combinatory logic / Lambda calculus definition / Reduction strategy / Free variables and bound variables / Lambda / Fixed-point combinator / Anonymous function / Term / Variable / Beta normal form


02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013
Add to Reading List

Document Date: 2013-10-21 08:25:00


Open Document

File Size: 138,32 KB

Share Result on Facebook