![Mathematics / Normalisation by evaluation / Combinatory logic / Simply typed lambda calculus / Beta normal form / Variance / Lambda / Sedenion / Binary lambda calculus / Lambda calculus / Theoretical computer science / Applied mathematics Mathematics / Normalisation by evaluation / Combinatory logic / Simply typed lambda calculus / Beta normal form / Variance / Lambda / Sedenion / Binary lambda calculus / Lambda calculus / Theoretical computer science / Applied mathematics](https://www.pdfsearch.io/img/c219e59729d7f82b3a728f19e9d5d363.jpg)
| Document Date: 2010-10-22 08:04:40 Open Document File Size: 146,58 KBShare Result on Facebook
City Amsterdam / St. Petersburg / Oxford / / Company ACM Press / IEEE Computer Society Press / / Country Netherlands / Denmark / / / Facility University of Copenhagen / / IndustryTerm Self-applicable online partial evaluation / / Organization University of Copenhagen / eta / / Position editor / partial evaluator / / ProvinceOrState Florida / New York / / TVStation Wand / / Technology Functional Programming / /
SocialTag |