16 citations · 60 across the 20 of their papers we have counts for
1 paper · 2 filters
James Cheney
Formalizing syntactic proofs of properties of logics, programming languages, security protocols, and other formal systems is a significant challenge, in large part because of the o…