7 citations · 58 across the 20 of their papers we have counts for
1 paper · 1 filter
Rhea Ranalter, Florian Rabe, Cezary Kaliszyk
DHOL is an extensional, classical logic that equips the well-known higher-order logic (HOL) with dependent types. This allows for concise encodings of important domains like size-b…