64 citations · 73 across the 4 of their papers we have counts for
1 paper · 2 filters
Jonathan H. Warrell
We introduce Probabilistic Dependent Type Systems (PDTS) via a functional language based on a subsystem of intuitionistic type theory including dependent sums and products, which i…