On the Relation of Interaction Semantics to Continuations and Defunctionalization

DOI10.2168/LMCS-10(4:10)2014zbMath1448.68210arXiv1410.4980OpenAlexW1683412184MaRDI QIDQ2938764

Ulrich Schöpp

Publication date: 15 January 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.4980

zbMATH Keywords

game semanticsgeometry of interactiondefunctionalizationCPS-translationint-construction

Mathematics Subject Classification ID

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

Related Items (2)

Computation by interaction for space-bounded functional programming ⋮ Unnamed Item

Uses Software

• Java Jr

This page was built for publication: On the Relation of Interaction Semantics to Continuations and Defunctionalization