No.14127722 ViewReplyOriginalReport
Where can I find a list of all (or at least the most used) logical and mathematical operators expressed in lambda calculus?