Publications HAL

2022/01 Logical Methods in Computer Science – On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants

2021/12 Logical Methods in Computer Science – An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets

2021/11 – Sur la syntaxe de la sémantique quantitative

2021/06 – MELL proof-nets in the category of graphs

2019/07 Logical Methods in Computer Science – Normalizing the Taylor expansion of non-deterministic λ-terms, via parallel reduction of resource vectors

2018/09 – An application of parallel cut elimination in unit-free multiplicative linear logic to the Taylor expansion of proof nets

2018/08 Mathematical Structures in Computer Science – Transport of finiteness structures and applications

2017/08 – Taylor expansion, β-reduction and normalization

2016/04 – Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ -terms

2013/04 – Programmes, preuves et fonctions : le ménage à trois de Curry-Howard

2009/09 – A Non-Uniform Finitary Relational Semantics of System T

2009/07 – Differential linear logic and polarization

2009/05 – Primitive recursion in finiteness spaces

2009/01 Mathematical Structures in Computer Science – The algebraic lambda-calculus

2007/11 – λ-calcul différentiel et logique classique : interactions calculatoires

2007/06 – Convolution lambda-bar-mu-calculus

2007/06 – On linear combinations of lambda-terms

2007/01 Theoretical Computer Science – The differential lambda-mu-calculus