|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
10 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A micrological study of negation |
Melliès, Paul-André |
2017 |
168 | 2 |
p. 321-372 52 p. |
article |
|
| 2 | Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects |
Laird, J. |
2017 |
168 | 2 |
p. 470-500 31 p. |
article |
|
| 3 | Contents |
2017 |
168 | 2 |
p. iv- 1 p. |
article |
||
| 4 | Editorial Board |
2017 |
168 | 2 |
p. IFC- 1 p. |
article |
||
| 5 | Foreword for special issue of APAL for GaLoP 2013 |
Hyland, Martin |
2017 |
168 | 2 |
p. 233- 1 p. |
article |
|
| 6 | Game semantics for non-monotonic intensional logic programming |
Galanaki, Chrysida |
2017 |
168 | 2 |
p. 234-253 20 p. |
article |
|
| 7 | Interaction graphs: Graphings |
Seiller, Thomas |
2017 |
168 | 2 |
p. 278-320 43 p. |
article |
|
| 8 | Realizability for Peano arithmetic with winning conditions in HON games |
Blot, Valentin |
2017 |
168 | 2 |
p. 254-277 24 p. |
article |
|
| 9 | Reasoning about equilibria in game-like concurrent systems |
Gutierrez, Julian |
2017 |
168 | 2 |
p. 373-403 31 p. |
article |
|
| 10 | Semantics of higher-order quantum computation via geometry of interaction |
Hasuo, Ichiro |
2017 |
168 | 2 |
p. 404-469 66 p. |
article |
10 results found