A Categorical Semantics for Inductive-Inductive Definitions.

Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer

Browse the full CALCO paper archive.