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...

Celý popis

Podrobná bibliografie

Vydáno v:	Logical methods in computer science Ročník 21, Issue 4; číslo 4
Hlavní autoři:	Blondeau-Patissier, Lison, Clairambault, Pierre, Auclair, Lionel Vaux
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Logical Methods in Computer Science Association 16.10.2025
Témata:	Computer Science Logic in Computer Science Resource calculus Categorical semantics Game semantics
ISSN:	1860-5974, 1860-5974
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!