Strategies as Resource Terms, and their Categorical Semantics

As shown by Tsukada and Ong, simply-typed, normal and eta-long resource terms correspond to plays in Hyland-Ong games, quotiented by Melliès' homotopy equivalence. The original proof of this inspiring result is indirect, relying on the injectivity of the relational model w.r.t. both sides of th...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Logical methods in computer science Jg. 21, Issue 4; H. 4
Hauptverfasser:	Blondeau-Patissier, Lison, Clairambault, Pierre, Auclair, Lionel Vaux
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Logical Methods in Computer Science Association 16.10.2025
Schlagworte:	Computer Science Logic in Computer Science Resource calculus Categorical semantics Game semantics
ISSN:	1860-5974, 1860-5974
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!