Structuring Metatheory on Inductive Definitions.

David A. Basin, Sen Matthews

Browse the full CADE paper archive.