48 citations · 112 across the 8 of their papers we have counts for
1 paper · 1 filter
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…