Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WPTE.2015.3
URN: urn:nbn:de:0030-drops-51789
URL: https://drops.dagstuhl.de/opus/volltexte/2015/5178/
Guerrieri, Giulio
Head reduction and normalization in a call-by-value lambda-calculus
| pdf-format: |
|
Abstract
Recently, a standardization theorem has been proven for a variant of Plotkin's call-by-value lambda-calculus extended by means of two commutation rules (sigma-reductions): this result was based on a partitioning between head and internal reductions. We study the head normalization for this call-by-value calculus with sigma-reductions and we relate it to the weak evaluation of original Plotkin's call-by-value lambda-calculus. We give also a (non-deterministic) normalization strategy for the call-by-value lambda-calculus with sigma-reductions.
BibTeX - Entry
@InProceedings{guerrieri:OASIcs:2015:5178,
author = {Giulio Guerrieri},
title = {{Head reduction and normalization in a call-by-value lambda-calculus}},
booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)},
pages = {3--17},
series = {OpenAccess Series in Informatics (OASIcs)},
ISBN = {978-3-939897-94-1},
ISSN = {2190-6807},
year = {2015},
volume = {46},
editor = {Yuki Chiba and Santiago Escobar and Naoki Nishida and David Sabel and Manfred Schmidt-Schau{\ss}},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5178},
URN = {urn:nbn:de:0030-drops-51789},
doi = {10.4230/OASIcs.WPTE.2015.3},
annote = {Keywords: sequentialization, lambda-calculus, sigma-reduction, call-by-value, head reduction, internal reduction, (strong) normalization, evaluation, confluence}
}
| Keywords: | sequentialization, lambda-calculus, sigma-reduction, call-by-value, head reduction, internal reduction, (strong) normalization, evaluation, confluence | |
| Seminar: | 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015) | |
| Issue date: | 2015 | |
| Date of publication: | 17.06.2015 |
