Totality in arena games (Q636307)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Totality in arena games	scientific article

Statements

scholarly article

0 references

Totality in arena games (English)

0 references

Pierre Clairambault

0 references

0 references

Annals of Pure and Applied Logic

0 references

publication date

26 August 2011

0 references

zbMATH Keywords

game semantics

0 references

realizability

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.apal.2009.07.016

0 references

0 references

0 references

Least and Greatest Fixed Points in Linear Logic

0 references

A semantics of evidence for classical arithmetic

0 references

Abstract Böhm trees

0 references

Second-order type isomorphisms through game semantics

0 references

0 references

The system \({\mathcal F}\) of variable types, fifteen years later

0 references

The Anatomy of Innocence Revisited

0 references

0 references

0 references

On full abstraction for PCF: I, II and III

0 references

Dependent choice, `quote' and the clock

0 references

Polarized games

0 references

Games and Definability For FPC

0 references

0 references

0 references

Locally cartesian closed categories and type theory

0 references

Identifiers

zbMATH Open document ID

0 references

10.1016/j.apal.2009.07.016

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:636307

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q636307&oldid=35243856"