Standardization of a Call−By−Value Lambda−Calculus
Giulio Guerrieri‚ Luca Paolini and Simona Ronchi Della Rocca
Book Title
13th International Conference on Typed Lambda Calculi and Applications‚ TLCA 2015‚ July 1−3‚ 2015‚ Warsaw‚ Poland
Editor
Thorsten Altenkirch
ISBN
978−3−939897−87−3
Pages
211–225
Publisher
Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik
Series
LIPIcs
Volume
38
Year
2015