29 citations · 81 across the 22 of their papers we have counts for
1 paper · 2 filters
Thomas Ehrhard, Michele Pagani, Christine Tasson
We present a probabilistic version of PCF, a well-known simply typed universal functional language. The type hierarchy is based on a single ground type of natural numbers. Even if…