Herbrandized modified realizability
scientific article; zbMATH DE number 7874621
scientific article