Victor Arrial

According to our database, Victor Arrial authored at least 5 papers between 2023 and 2024.

Collaborative distances:

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

2024

Meaningfulness and Genericity in a Subsuming Framework.

Delia Kesner, Victor Arrial, Giulio Guerrieri

CoRR, 2024

Genericity Through Stratification.

Victor Arrial, Giulio Guerrieri, Delia Kesner

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

The Benefits of Diligence.

Victor Arrial, Giulio Guerrieri, Delia Kesner

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Meaningfulness and Genericity in a Subsuming Framework (Invited Talk).

Delia Kesner, Victor Arrial, Giulio Guerrieri

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023

Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework.

Victor Arrial, Giulio Guerrieri, Delia Kesner

Proc. ACM Program. Lang., January, 2023