A constructive interpretation of positive inductive de Unpublished draft (1995)

by U Berger