Back to Results
First PageMeta Content
Mathematics / Deduction / Natural deduction / Normalisation by evaluation / Curry–Howard correspondence / Model theory / Lambda calculus / Orbifold / Holomorphic functional calculus / Theoretical computer science / Mathematical logic / Proof theory


Under consideration for publication in J. Functional Programming 1
Add to Reading List

Document Date: 2008-01-10 08:03:39

Open Document

File Size: 345,37 KB

Share Result on Facebook

Facility

To bridge / University of Nottingham / /

IndustryTerm

normalisation algorithm / /

Organization

University of Nottingham / Big-Step Normalisation THORSTEN ALTENKIRCH and JAMES CHAPMAN School of Computer Science / /

Person

Nat / Ty / /

Position

simple evaluator / evaluator / /

Technology

Functional Programming / normalisation algorithm / /

SocialTag