A proof theory for generic judgments (2005)

by Dale Miller, Alwen Tiu
Venue:ACM Trans. on Computational Logic