Difference between revisions of "Functional Logic : Higher Order Propositions"