On Sets, Types, Fixed Points, and Checkerboards

• Authors:

• Peter B. Andrews;Matthew Bishop

• Affiliations:

• -;-

• Venue:
• TABLEAUX '96 Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
• Year:
• 1996