Realizability interpretation of generalized inductive definitions
q-realizability interpretation of generalized inductive definitions
scientific article; zbMATH DE number 626274
scientific article