Encoding Generic Judgments (2002)

by Dale Miller , Alwen Tiu , Ècole Polytechnique
Venue:In Proceedings of FSTTCS. Number 2556 in LNCS
Citations:3 - 2 self