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

by Dale Miller , Alwen Tiu
Venue:In LICS 2003
Citations:41 - 15 self