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

by Dale Miller , Alwen Tiu
Venue:In LICS 2003
Citations:56 - 20 self