Inductive-Inductive Definitions.

Fredrik Nordvall Forsberg, Anton Setzer

Browse the full CSL paper archive.