7 citations · 58 across the 20 of their papers we have counts for
1 paper · 2 filters
Colin Rothgang, Florian Rabe, Christoph Benzmüller
Higher-order logic HOL offers a very simple syntax and semantics for representing and reasoning about typed data structures. But its type system lacks advanced features where types…