Head reduction and normalization in a call−by−value lambda−calculus
Giulio Guerrieri
Book Title
2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation‚ WPTE 2015‚ July 2‚ 2015‚ Warsaw‚ Poland
Editor
Yuki Chiba and Santiago Escobar and Naoki Nishida and David Sabel and Manfred Schmidt−Schauß
ISBN
978−3−939897−94−1
Pages
3–17
Publisher
Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik
Series
OASICS
Volume
46
Year
2015