27 citations · 48 across the 3 of their papers we have counts for
1 paper · 1 filter
Alejandro Díaz-Caro, Guido Martínez
Driven by the interest of reasoning about probabilistic programming languages, we set out to study a notion of unicity of normal forms for them. To provide a tractable proof method…