Back to Results
First PageMeta Content
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


Godelisation in the untyped lambda calculus Torben . Mogensen DIKU, University of Copenhagen, Denmark email: Abstract
Add to Reading List

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

Open Document

File Size: 146,58 KB

Share 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