DMCA

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

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