24 citations · 79 across the 15 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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…
cs.LO2023★ 5 cited
Normal Form Bisimulations By Value
Beniamino Accattoli, Adrienne Lancelot, Claudia Faggian
Normal form bisimilarities are a natural form of program equivalence resting on open terms, first introduced by Sangiorgi in call-by-name. The literature contains a normal form bis…