Hanne Gottliebsen, Kristoffer H. Rose. Converting between Combinatory Reduction Systems and Big Step Semantics. In Jens Palsberg, editor, Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. Volume 5700 of Lecture Notes in Computer Science, pages 297-314, Springer, 2009. [doi]
@inproceedings{GottliebsenR09,
title = {Converting between Combinatory Reduction Systems and Big Step Semantics},
author = {Hanne Gottliebsen and Kristoffer H. Rose},
year = {2009},
doi = {10.1007/978-3-642-04164-8_15},
url = {http://dx.doi.org/10.1007/978-3-642-04164-8_15},
tags = {semantics},
researchr = {https://researchr.org/publication/GottliebsenR09},
cites = {0},
citedby = {0},
pages = {297-314},
booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday},
editor = {Jens Palsberg},
volume = {5700},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-04163-1},
}