Back to Results
First PageMeta Content
Lambda calculus / Combinatory logic / Church encoding / Fixed-point combinator / Anonymous function / Higher-order abstract syntax / Type system / Unification / De Bruijn index / Lambda calculus definition


Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract
Add to Reading List

Document Date: 2010-10-22 08:04:54


Open Document

File Size: 120,33 KB

Share Result on Facebook