A620F69A-3E8B-45B2-B022-0077C8AB1BDDPLanCompS: Programming Language Components and SpecificationsResearch GrantEP/I032495/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL695780B0E09450-9D9D-4C35-9EA6-4D793640D72AProgramming Languages and Systems7cd43a96ee75666b64187741b864db27Bach Poulsen C2014-01-01http://dx.doi.org/10.1007/978-3-642-54833-8_15978-3-642-54832-1http://dx.doi.org/10.1007/978-3-642-54833-8_15Deriving Pretty-Big-Step Semantics from Small-Step Semantics270-289Book Chapter54594d881ca180.34538528