First Page | Document Content | |
---|---|---|
Date: 2010-10-22 08:04:54Lambda 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 AbstractAdd to Reading ListSource URL: repository.readscheme.orgDownload Document from Source WebsiteFile Size: 120,33 KBShare Document on Facebook |