Game semantics and linear CPS interpretation

DOI10.1016/J.TCS.2004.10.022MaRDI QIDQ1770417zbMATH OpenOpenAlexFDO

Authors Xianqiang Yang

Publication date 6 April 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2004.10.022

zbMATH Keywords

Game semanticsContinuation passingLinear type theory

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1956521
• Functional and Logic Programming
• Game semantics for call-by-value polymorphism
• A Game Semantics of Idealized CSP
• Game Semantics for Higher-Order Concurrency

Cites work

• scientific article; zbMATH DE number 1670491 (Why is no real title available?)
• scientific article; zbMATH DE number 1223609 (Why is no real title available?)
• scientific article; zbMATH DE number 1231510 (Why is no real title available?)
• scientific article; zbMATH DE number 1259144 (Why is no real title available?)
• scientific article; zbMATH DE number 1942458 (Why is no real title available?)
• scientific article; zbMATH DE number 1499102 (Why is no real title available?)
• scientific article; zbMATH DE number 2086645 (Why is no real title available?)
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Classical logic, continuation semantics and abstract machines
• Control categories and duality: On the categorical semantics of the lambda-mu calculus
• Full abstraction for PCF
• Full abstraction in the lazy lambda calculus
• Game-theoretic analysis of call-by-value computation
• Linear continuation-passing
• Notions of computation and monads
• On full abstraction for PCF: I, II and III
• Polarized games
• Relational properties of domains
• Secure information flow via linear continuations

Cited in

(13)

• Games in the semantics of programming languages -- an elementary introduction
• Functional and Logic Programming
• Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms
• STACS 2004
• A Game Semantics of Idealized CSP
• Decidability and syntactic control of interference
• On the relation of interaction semantics to continuations and defunctionalization
• A parallel game semantics for linear logic
• On interaction, continuations and defunctionalization
• Weighted models for higher-order computation
• scientific article; zbMATH DE number 1956521 (Why is no real title available?)
• StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities
• Automata, Languages and Programming

This page was built for publication: Game semantics and linear CPS interpretation

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