Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach
M Solieri - Mathematical Structures in Computer Science, 2018 - cambridge.org
The resource λ-calculus is a variation of the λ-calculus where arguments are superpositions
of terms and must be linearly used; hence, it is a model for linear and non-deterministic …
of terms and must be linearly used; hence, it is a model for linear and non-deterministic …
Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets
M Solieri - 2016 - hal.science
Elegant semantics and efficient implementations of functional programming languages can
both be described by the very same mathematical structures, most prominently within the …
both be described by the very same mathematical structures, most prominently within the …
Partage, superposition et développement: Etudes géométriques sur la sémantique et l'implémentation de lambda-calculs et de réseaux de preuves
M Solieri - 2016 - theses.hal.science
Elegant semantics and efficient implementations of functional programming languages can
both be described by the very same mathematical structures, most prominently within the …
both be described by the very same mathematical structures, most prominently within the …