Curry-Typed Semantics in Typed Predicate Logic