 |
|
| HAL: inria-00133323, version 1 |
| DOI: 10.1007/11964681_2 |
| See detailed view |  BibTeX,EndNote,... |
 |
| Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, Dublin, Ireland : (2005) |
|
|
|
|
| Encoding Strategies in the Lambda Calculus with Interaction Nets |
|
|
| Ian Mackie 1 |
|
|
| (2007) |
|
|
|
| Interaction nets are a graphical paradigm of computation based on graph rewriting. They have proven to be both useful and enlightening in the encoding of linear logic and the λ-calculus. This paper offers new techniques for the theory of interaction nets, with applications to the encoding of specific strategies in the λ-calculus. In particular we show how to recover the usual call-by-value and call-by-name reduction strategies from general encodings. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'informatique de l'école polytechnique (LIX) |
|
|
|
CNRS : UMR7161 – Polytechnique - X |
|
|
|
|
|
|
|
|
|
| Domain | : | Computer Science/Programming Languages |
| inria-00133323, version 1 | |
| http://hal.inria.fr/inria-00133323 | |
| oai:hal.inria.fr:inria-00133323 | |
| From: Ian Mackie | |
| Submitted on: Sunday, 25 February 2007 17:04:54 | |
| Updated on: Wednesday, 30 May 2007 13:51:14 | |
