A proof theory for generic judgments (extended abstract (2003)

by Dale Miller, Alwen Tiu
Venue:Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), IEEE Computer