29 citations · 73 across the 14 of their papers we have counts for
1 paper · 1 filter
Lawrence Dunn, Val Tannen, Steve Zdancewic
Formally verifying the properties of formal systems using a proof assistant requires justifying numerous minor lemmas about capture-avoiding substitution. Despite work on category-…