A Syntax for Mutual Inductive Families.

Ambrus Kaposi, Jakob von Raumer

Browse the full FSCD paper archive.