2 papers
cs.LO2025
From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
Pierre Clairambault, Federico Olimpieri, Hugo Paquet
Two families of denotational models have emerged from the semantic analysis of linear logic: dynamic models, typically presented as game semantics, and static models, typically bas…
cs.LO2025
Linearization via Rewriting (Long Version)
Ugo Dal Lago, Federico Olimpieri
We introduce the structural resource lambda-calculus, a new formalism in which strongly normalizing terms of the lambda-calculus can naturally be represented, and at the same time…