Cut elimination for a logic with generic judgments and induction (2008)

Cached

Download Links

by Alwen Tiu
Citations:4 - 2 self