9 citations · 23 across the 13 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.LO2023
Grounding Operators: Transitivity and Trees, Logicality and Balance
Francesco A. Genco
We formally investigate immediate and mediate grounding operators from an inferential perspective. We discuss the differences in behaviour displayed by several grounding operators…
cs.LO2023★ 3 cited
A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
Francesco A. Genco, Giuseppe Primiero
The extensive deployment of probabilistic algorithms has radically changed our perspective on several well-established computational notions. Correctness is probably the most basic…