27 citations · 48 across the 3 of their papers we have counts for
1 paper · 2 filters
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…