Back to Results
First PageMeta Content
Mathematics / Deduction / Logic in computer science / Curry–Howard correspondence / Philosophy of computer science / Type theory / Natural deduction / Valuation / Lambda calculus / Logic / Mathematical logic / Proof theory


Call-by-Value is Dual to Call-by-Name Philip Wadler Avaya Labs
Add to Reading List

Document Date: 2003-10-17 05:44:48

Open Document

File Size: 164,73 KB

Share Result on Facebook
UPDATE