Strategies as Resource Terms, and Their Categorical Semantics.

Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair

Browse the full FSCD paper archive.