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

by D Miller, A Tiu
Venue:In 18th Symp. on Logic in Computer Science. IEEE