| Quantitative inhabitation for different lambda calculi in a unifying framework V Arrial, G Guerrieri, D Kesner Proceedings of the ACM on Programming Languages 7 (POPL), 1483-1513, 2023 | 16 | 2023 |
| Genericity Through Stratification V Arrial, G Guerrieri, D Kesner arXiv preprint arXiv:2401.12212, 2024 | 5 | 2024 |
| The benefits of diligence V Arrial, G Guerrieri, D Kesner International Joint Conference on Automated Reasoning, 338-359, 2024 | 4 | 2024 |
| Meaningfulness and Genericity in a Subsuming Framework D Kesner, V Arrial, G Guerrieri arXiv preprint arXiv:2404.06361, 2024 | 1 | 2024 |
| A Deeper Study of λ!-Calculus Simulations V Arrial 11th International Workshop on Higher-Order Rewriting (HOR 2023), 1, 0 | 1 | |
| LIPIcs, Volume 299, FSCD 2024, Complete Volume J Rehof 9th International Conference on Formal Structures for Computation and …, 2024 | | 2024 |
| Quantitative Inhabitation in Call-by-Value V Arrial | | |
| Call-by-Value Typing Revisited, for Free? V Arrial | | |
| Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I C Benzmüller Springer Nature, 0 | | |
