A Proof Theory for Generic Judgments: An extended abstract.

Dale Miller, Alwen Fernanto Tiu

Browse the full LICS paper archive.