Polarized games
type: Item
instance of: scholarly article
title: Polarized games
zbMATH Open document ID: 1055.03020
author: Olivier Laurent
published in: Annals of Pure and Applied Logic
publication date: 2004-11-18T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 2116237
zbMATH Keywords: Game semantics
zbMATH Keywords: Linear logic
zbMATH Keywords: Polarities
zbMATH Keywords: Lambda-mu calculus
zbMATH Keywords: Control categories
MaRDI profile type: Publication
full work available at URL: j.apal.2004.04.006
OpenAlex ID: W4205415028
cites work: Q4225147
cites work: Games and full completeness for multiplicative linear logic
cites work: Q4218919
cites work: Full abstraction for idealized Algol with passive expressions
cites work: Full abstraction for PCF
cites work: Linear continuation-passing
cites work: A game semantics for linear logic
cites work: On the symmetry of sequentiality
cites work: The duality of computation
cites work: Q4783308
cites work: Q4842975
cites work: A new deconstructive logic: linear logic
cites work: Q4411840
cites work: Linear logic
cites work: A new constructive logic: classic logic
cites work: Locus solum: From the rules of logic to the logic of rules.
cites work: Game-theoretic analysis of call-by-value computation
cites work: On full abstraction for PCF: I, II and III
cites work: Q4417867
cites work: Polarized proof-nets and \(\lambda \mu\)-calculus
cites work: Call-by-push-value: Decomposing call-by-value and call-by-name
cites work: Q4231031
cites work: Q4255509
cites work: Premonoidal categories and notions of computation
cites work: Control categories and duality: On the categorical semantics of the lambda-mu calculus
DOI: 10.1016/J.APAL.2004.04.006
description: scientific article; zbMATH DE number 2116237