A logic for reasoning about generic judgments (2006)

Cached

Download Links

by Alwen Tiu
Venue:International Workshop on Logical Frameworks and Meta-Languages:Theory and Practice (LFMTP’06
Citations:15 - 4 self