Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory. - Bruno Barras; Valentin Maestracci (LFMTP, 2020)

Linear Realisability and Cobordisms. - Valentin Maestracci; Thomas Seiller (CoRR, 2023)

The Lambda Calculus Is Quantifiable. - Valentin Maestracci; Paolo Pistone (CSL, 2025)

Functorial Models of Differential Linear Logic. - Marie Kerjean; Valentin Maestracci; Morgan Rogers (FSCD, 2025)