Impredicative approach to inductive predicates

What is the systematic way to translate an inductive definition into an impredicative definition? Propose a method and test it on the examples given in the section on impredicative definitions. For each case, prove the equivalence between the inductive definition and the impredicative definition.


Look at This file

Going home
Pierre Castéran