Abstract deduction and inferential models for type theory
constructive semantics for higher-order logic
scientific article; zbMATH DE number 5772399