jamie wannenburg

Given at Topology, Algebra and Categories in Logic (TACL) in 2019 at Nice, France