A Call-by-Name CPS Hierarchy

DOI10.1007/978-3-642-29822-6_21zbMath1354.68048OpenAlexW60240042MaRDI QIDQ2900268

Yukiyoshi Kameyama, Asami Tanaka

Publication date: 20 July 2012

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29822-6_21

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

This page was built for publication: A Call-by-Name CPS Hierarchy