Can I read The Power of Closed Reduction Strategies on EtoBox?
The Power of Closed Reduction Strategies by Sandra Alves; Maribel Fernández; Mario Florido; Ian Mackie is a Computer Science article available to read on EtoBox.
What is The Power of Closed Reduction Strategies about?
Closed reduction strategies in the λ-calculus restrict the reduction rules: the idea is that reductions can only take place when certain terms are closed (i.e. do not contain free variables). This has lead to various applications, such as an α-conversion free calculus of explicit substitutions, and an efficient abstract machine. The main contribution of this paper is a new application of this strategy to a linear version of Gödel's System T. We show that a linear System T with closed reduction offers a huge increase in expressive power over the usual linear systems, which are 'closed by construction' rather than 'closed at reduction'.
Who reads The Power of Closed Reduction Strategies?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Sandra Alves; Maribel Fernández; Mario Florido; Ian Mackie
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV; Amsterdam: Elsevier BV (ISSN 1571-0661)
- Published
- 2007
- Language
- EN
- Field
- Computer Science (Physical Sciences)