Ground Stratified Inductive Definitions.

Nathan Guermond, Gopalan Nadathur

Browse the full FSCD paper archive.