Sequential algorithms and strongly stable functions (Q2570134): Difference between revisions

The author develops a graph-theoretic approach to game semantics by shifting from sequential game plays on trees to sequential games played on acyclic graphs. This clarifies the sequential nature of hypercoherence spaces, and the reasons why the sequential algorithm hierarchy collapses extensionally to strongly stable hierarchy. The results underline more asynchronous and concurrent forms of game semantics --- even in the study of sequentiality.

0 references

zbMATH Keywords

game semantics

0 references

linear logic

0 references

sequential algorithms

0 references

strongly stable functions

0 references

extensional collapse

0 references

reviewed by

Ernst G. Al'brekht

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.tcs.2005.05.015

0 references

cites work

Games and full completeness for multiplicative linear logic

0 references

Q4263830

0 references

Q4490717

0 references

Full abstraction for PCF

0 references

Q4222034

0 references

Sequential algorithms on concrete data structures

0 references

Q3024825

0 references

Q3138537

0 references

Localisation and interaction in one dimension

0 references

Projecting sequential algorithms on strongly stable functions

0 references

Q4513578

0 references

Parallel and serial hypercoherences

0 references

Q4842966

0 references

On full abstraction for PCF: I, II and III

0 references

Q4395610

0 references

The sequentially realizable functionals

0 references

Q4231031

0 references

Comparing hierarchies of types in models of linear logic

0 references

CONCUR 2004 - Concurrency Theory

0 references

Q4501156

0 references

Q4938567

0 references

LCF considered as a programming language

0 references

<i>μ</i>-Bicomplete Categories and Parity Games

0 references

A type-theoretical alternative to ISWIM, CUCH, OWHY

0 references

Identifiers

zbMATH Open document ID

1121.68024

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

10.1016/J.TCS.2005.05.015

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2570134

@@ Property / DOI @@
-.1016/j.tcs.2005.05.015
@@ Property / DOI: 10.1016/j.tcs.2005.05.015 / rank @@
-Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Q4263830
@@ Property / cites work: Q4263830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490717
@@ Property / cites work: Q4490717 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential algorithms on concrete data structures
@@ Property / cites work: Sequential algorithms on concrete data structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024825
@@ Property / cites work: Q3024825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138537
@@ Property / cites work: Q3138537 / rank @@
+Normal rank
@@ Property / cites work @@
+Localisation and interaction in one dimension
@@ Property / cites work: Localisation and interaction in one dimension / rank @@
+Normal rank
@@ Property / cites work @@
+Projecting sequential algorithms on strongly stable functions
+Normal rank
@@ Property / cites work @@
+Q4513578
@@ Property / cites work: Q4513578 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel and serial hypercoherences
@@ Property / cites work: Parallel and serial hypercoherences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842966
@@ Property / cites work: Q4842966 / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Q4395610
@@ Property / cites work: Q4395610 / rank @@
+Normal rank
@@ Property / cites work @@
+The sequentially realizable functionals
@@ Property / cites work: The sequentially realizable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231031
@@ Property / cites work: Q4231031 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing hierarchies of types in models of linear logic
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501156
@@ Property / cites work: Q4501156 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938567
@@ Property / cites work: Q4938567 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+<i>μ</i>-Bicomplete Categories and Parity Games
@@ Property / cites work: <i>μ</i>-Bicomplete Categories and Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretical alternative to ISWIM, CUCH, OWHY
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2005.05.015
@@ Property / DOI: 10.1016/J.TCS.2005.05.015 / rank @@
+Normal rank