Call-by-value in a basic logic for interaction

DOI10.1007/978-3-319-12736-1_23MaRDI QIDQ2789064zbMATH OpenOpenAlexFDO

Authors Ulrich Schöpp

Publication date 26 February 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-12736-1_23

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• On interaction, continuations and defunctionalization
• On the relation of interaction semantics to continuations and defunctionalization
• From call-by-value to interaction by typed closure conversion
• scientific article; zbMATH DE number 1223609
• Game theoretic analysis of call-by-value computation

Cited in

(6)

• Call-By-Push-Value from a Linear Logic Point of View
• On the relation of interaction semantics to continuations and defunctionalization
• From call-by-value to interaction by typed closure conversion
• Game theoretic analysis of call-by-value computation
• The dynamic geometry of interaction machine: a token-guided graph rewriter
• On interaction, continuations and defunctionalization

This page was built for publication: Call-by-value in a basic logic for interaction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2789064)