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

by D Miller, A F Tiu
Venue:In IEEE Symposium on Logic in Computer Science