David Saff. Theory-infected: or how i learned to stop worrying and love universal quantification. In Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr., editors, Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada. pages 846-847, ACM, 2007. [doi]
Abstract is missing.