jamie wannenburg

Given at Topology, Algebra and Categories in Logic (TACL) in 2022 at Coimbra, Portugal