Loading...
Please wait, while we are loading the content...
Similar Documents
Demonstrating lambda calculus reduction (2002)
| Content Provider | CiteSeerX |
|---|---|
| Author | Sestoft, Peter |
| Description | THE ESSENCE OF COMPUTATION: COMPLEXITY, ANALYSIS, TRANSFORMATION. ESSAYS DEDICATED TO NEIL D. JONES, NUMBER 2566 IN LECTURE NOTES IN COMPUTER SCIENCE |
| Abstract | We describe lambda calculus reduction strategies using big-step operational semantics and show how to efficiently trace such reductions. This is used in a web-based lambda calculus reducer, at |
| File Format | |
| Publisher Date | 2002-01-01 |
| Access Restriction | Open |
| Subject Keyword | Web-based Lambda Calculus Reducer Big-step Operational Semantics Lambda Calculus Reduction Strategy Lambda Calculus Reduction |
| Content Type | Text |