Game semantics and linear CPS interpretation
type: Item
instance of: scholarly article
title: Game semantics and linear CPS interpretation
zbMATH Open document ID: 1070.68085
author: Xianqiang Yang
published in: Theoretical Computer Science
publication date: 2005-04-06T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 2153210
zbMATH Keywords: Game semantics
zbMATH Keywords: Continuation passing
zbMATH Keywords: Linear type theory
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.10.022
OpenAlex ID: W1991950204
cites work: Q4222822
cites work: Q4218919
cites work: Full abstraction in the lazy lambda calculus
cites work: Full abstraction for PCF
cites work: Linear continuation-passing
cites work: Q4409158
cites work: Game-theoretic analysis of call-by-value computation
cites work: On full abstraction for PCF: I, II and III
cites work: Q2753687
cites work: Polarized games
cites work: Q4231031
cites work: Notions of computation and monads
cites work: Q4501156
cites work: Q4737181
cites work: Relational properties of domains
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: Control categories and duality: On the categorical semantics of the lambda-mu calculus
cites work: Classical logic, continuation semantics and abstract machines
cites work: Secure information flow via linear continuations
DOI: 10.1016/J.TCS.2004.10.022
description: scientific article; zbMATH DE number 2153210