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

Full description

Bibliographic Details

Published in:	Logical methods in computer science Vol. 21, Issue 4; no. 4
Main Authors:	Blondeau-Patissier, Lison, Clairambault, Pierre, Auclair, Lionel Vaux
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science Association 16.10.2025
Subjects:	Computer Science Logic in Computer Science Resource calculus Categorical semantics Game semantics
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!