When does deep multi-task learning work for loosely related document classification tasks? - Axel Kerinec; Chloé Braud; Anders Søgaard (BlackboxNLP@EMNLP, 2018)

Revisiting Call-by-value Böhm trees in light of their Taylor expansion. - Axel Kerinec; Giulio Manzonetto; Michele Pagani (Log. Methods Comput. Sci., 2020)

Call-By-Value, Again! - Axel Kerinec; Giulio Manzonetto; Simona Ronchi Della Rocca (FSCD, 2021)

The algebraic λ-calculus is a conservative extension of the ordinary λ-calculus. - Axel Kerinec; Lionel Vaux Auclair (CoRR, 2023)

A story of lambda-calculus and approximation. (Une histoire de lambda-calcul et d'approximation). - Axel Kerinec (2023)

Why Are Proofs Relevant in Proof-Relevant Models? - Axel Kerinec; Giulio Manzonetto; Federico Olimpieri (Proc. ACM Program. Lang., 2023)