Steve Awodey, Spencer Breiner. Scheme representation for first-order logic. In Nikolaos Galatos, Alexander Kurz, Constantine Tsinakis, editors, TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013. Volume 25 of EPiC Series, pages 10-13, EasyChair, 2013. [doi]
Abstract is missing.