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