Curry's type-rules are complete with respect to the F-semantics too
scientific article; zbMATH DE number 3807587