Type-theoretic Interpretation of Iterated, Strictly Positive Inductive Definitions,” Archive For Mathematical Logic 32 (1992)

by Erik Palmgren