Media type: E-Article Title: Programming Languages and Systems: Pretty-Big-Step Semantics Contributor: Charguéraud, Arthur imprint: Springer Berlin Heidelberg, 2013 Published in: Programming Languages and Systems Language: Not determined DOI: 10.1007/978-3-642-37036-6_3 ISSN: 0302-9743; 1611-3349 Origination: Footnote: