Daniele Pautasso

According to our database, Daniele Pautasso authored at least 4 papers between 2023 and 2024.

Collaborative distances:

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

2024

Higher Order Bayesian Networks, Exactly.

Claudia Faggian, Daniele Pautasso, Gabriele Vanoni

Proc. ACM Program. Lang., January, 2024

Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions.

Andrej Dudenhefner, Daniele Pautasso

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

2023

Higher-Order Bayesian Networks, Exactly (Extended version).

Claudia Faggian, Daniele Pautasso, Gabriele Vanoni

CoRR, 2023

A Quantitative Version of Simple Types.

Daniele Pautasso, Simona Ronchi Della Rocca

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023