4 citations · 6 across the 10 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
A Log-Sensitive Encoding of Turing Machines in the -Calculus
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
This note modifies the reference encoding of Turing machines in the -calculus by Dal Lago and Accattoli, which is tuned for time efficiency, as to accommodate logarithmic space.…