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á bibliografia

Vydané v:	Logical methods in computer science Ročník 21, Issue 4; číslo 4
Hlavní autori:	Blondeau-Patissier, Lison, Clairambault, Pierre, Auclair, Lionel Vaux
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Logical Methods in Computer Science Association 16.10.2025
Predmet:	Computer Science Logic in Computer Science Resource calculus Categorical semantics Game semantics
ISSN:	1860-5974, 1860-5974
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!