Counterexamples in Type Systems
A type system is predicative if definitions can never be referred to, even indirectly, before they are defined.
Counterexamples in Type Systems
A type system is predicative if definitions can never be referred to, even indirectly, before they are defined.