It is not the case that Relational generalizations can be expressed via higher-order typed lambda calculi where relations are first-class objects at the base type level.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.