It is not the case that Church's lambda calculus treats functions as extensional; this mirrors how typed property systems achieve clarity and decidability in formal logic.
?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.