Valentin Maestracci

According to our database, Valentin Maestracci authored at least 4 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Functorial Models of Differential Linear Logic.

Marie Kerjean, Valentin Maestracci, Morgan Rogers

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

The Lambda Calculus Is Quantifiable.

Valentin Maestracci, Paolo Pistone

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2023

Linear Realisability and Cobordisms.

Valentin Maestracci, Thomas Seiller

CoRR, 2023

2020

Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory.

Bruno Barras, Valentin Maestracci

Proceedings of the Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2020