On Sets, Types, Fixed Points, and Checkerboards.

Peter B. Andrews, Matthew Bishop

Browse the full TABLEAUX paper archive.