4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2026
Principal Typing for Intersection Types, Forty-Five Years Later
Daniele Pautasso, Simona Ronchi Della Rocca
A type assignment system for lambda-calculus enjoys the principal typing property if every typable term M has a special typing, called principal, from which all typings for M can b…
cs.LO2023★ 4 cited
Higher-Order Bayesian Networks, Exactly (Extended version)
Claudia Faggian, Daniele Pautasso, Gabriele Vanoni
Bayesian networks (BNs) are graphical \emph{first-order} probabilistic models that allow for a compact representation of large probability distributions, and for efficient inferenc…