Publication date unavailable· 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.
conference-paper
A proof theory for generic judgments: an extended abstract
Authors:D. MillerA. Tiu
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.