jamie wannenburg

Given at Topology, Algebra and Categories in Logic (TACL) in 2017 at Prague, Czech Republic