33 citations · 88 across the 9 of their papers we have counts for
1 paper · 1 filter
Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu +1
Many automatic theorem provers are restricted to untyped logics, and existing translations from typed logics are bulky or unsound. Recent research proposes monotonicity as a means…