A proof theory for generic judgments. (2005)

by D Miller, A Tiu
Venue:ACM Trans. Comput. Log.,