5 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
Halley Young
We present a framework in which program analysis -- type checking, bug finding, and equivalence verification -- is organized as computing the Čech cohomology of a semantic presheaf…