A Quantitative Version of Simple Types. - Daniele Pautasso; Simona Ronchi Della Rocca (FSCD, 2023)

Higher-Order Bayesian Networks, Exactly (Extended version). - Claudia Faggian; Daniele Pautasso; Gabriele Vanoni (CoRR, 2023)

Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions. - Andrej Dudenhefner; Daniele Pautasso (FSCD, 2024)

Higher Order Bayesian Networks, Exactly. - Claudia Faggian; Daniele Pautasso; Gabriele Vanoni (Proc. ACM Program. Lang., 2024)